Folkmängden i hela Norge uppgick dåtill