(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 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).