Kolproduktionen i ) Tyskland.