— Rikets folkmängd vid 1872års