arbetsstyrka af 800 man , alla öivade och erfarne , fullgöra detta arbete med förvånande skyndsamhet.