minst 10 , 000 ; strejken omfattar nu blott en tredjedel af distriktets arbetare.