i medeltal utgjort omkring 1,700 man ; största arbetsstyrkan anwändes under Augusti månad,