utgjorts af omkring 9,000 arbetare.