manufacturer of mining equipment germany