järn-och andra arbetare torde uppgå till 40 , 000.