Förderung von Steinkohle und die gesamte Belegschaft in Deutschland in den Jahren 1990 bis 2017 im Vergleich.