kolgrufvearbetare hafva den 25 okt.