och 12,000 arbetare äro med detta arbete sysselsatta.