Rikets folkmängd den 3i december 1883.