Norges folkmängd vid utgången af1871