strejk bland där varande grufarbetare.