uppgick rikets folkmängd vid 1872 års utgång till 4250