Norges folkmängd uppgick ,enligt