gårkök , vattenledningar , sjukhus o. s. v. för sina omkring 10,000 arbetare.