Rikets folkmängd vid 1880 års slutbar