Folkmängden i Norge utgjorde den31