Norges folkmängd uppgick enligtde