Entre 600 y 700 operarios trabajaban en esos momentos de auge.