Norges folkmängd den 31 sisth Dec.