koldistrikt hafva 13 — 14 , 000grufarbetare