Norges folkmängd wid utgången af 1871ställe