folkmängd vid 1872 års slut.