inne i berget , och stundom sysselsattes der 3 400 arbetare på en gång.