"mining engineering" Deutsche bedeutung