utgjorde vid December mänads slut 1,300 man och dagsverkena under tiden Oktober — December voro 104 , 300.