strejka öfver halfva antalet grufarbetare.