Norges folkmängd utgjorde den 31defember