Festveranstaltung zum Ende des Steinkohle-Bergbaus in Deutschland