— Norges folkmängd utgjordewid