(25) In 1994 a total of approximately 80 million tonnes hard coal and hard coal products were sold in Germany (1993: 76,7 million tonnes, in each case for hard coal, hard coal briquettes and coal coke together; source: Statistik der Kohlenwirtschaft e.V., Zahlen zur Kohlenwirtschaft vol 142, June 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).