hard coal mining plant in germany