Steinkohle (Gesamtverb. des Dt. Steinkohlenbergbaus, 1985)