El número de operarios había crecido a 3.500.