Ende einer Epoche: Steinkohleförderung in Deutschland beendet