Угольная промышленность Германии: история и современность