coal mining equipment germany history