mining equipment made in germany