stenkolSproduktionen i Europa ".