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