"mining work" Deutsche bedeutung