hard coal mining in germany