"mineral processing, refining (mining)" Deutsche bedeutung