totalmängden af den i Tyskland producerade stenkolen 689 mill.