antalet vid dessa verkstäder anstälda arbetare utgjorde resp. 8 871 och 12841.