(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) On a vendu en Allemagne environ 80 millions de tonnes de houille et de produits houillers en 1994 (en 1993: 76,7 millions de tonnes, briquettes et coke compris; source: Statistik der Kohlenwirtschaft e.V., Zahlen zur Kohlenwirtschaft, n° 142, juin 1995).