grufarbetare sträjka blott 5 , 000 ; möjligen följes deras exempel snart af flere.