Norges folkmängd var , enligtden