— Folkmängden i Norge utgjorde,