Norges folkmängd den 31 sistl. dec.