coal mining manufacturer in germany