coal mining area of germany