grufvor i Tyskland och Österrike äro kolgrufvor,