machine a krupp mines de charbon