strejkar öfver halfva antalet grufarbetare.