— Norges folkmängd utgjordeswid