— december har i medeltal utgjort omkring 1700 man ; största arbetsstyrkan användes under augusti månad , då den uppgick till 1946 man.