kolgrufarbetare af 130 , 000.