utgjorde Norges folkmängd den 31 Dec.