strejka omkring 9 000 , af hvilka dock inga högre funktionärer.