ordinarie personal utgjorde i december månad 4 , 388 ,af