coal mining machine in germany