"coal mining" Deutsche bedeutung