coal mining equipment made in germany