(25) In Duitsland is in 1994 in totaal circa 80 miljoen ton steenkool en steenkoolprodukten afgezet (1993: 76,7 miljoen ton, telkens voor steenkool, steenkoolbriketten- en cokes samen - bron: "Statistik der Kohlenwirtschaft e.V., Zahlen zur Kohlenwirtschaft", aflevering 142, juni 1995).
(25) In Deutschland wurden 1994 insgesamt etwa 80 Mio. t Steinkohle und Steinkohleprodukte abgesetzt (1993: 76,7 Mio. t, jeweils für Steinkohle, Steinkohlebriketts und -koks zusammen; Quelle: Statistik der Kohlenwirtschaft e.V., Zahlen zur Kohlenwirtschaft, Heft 142, Juni 1995).