Folkmängden i Norge uppgår nu enligt sista folkräkningen af den 1 dec.