Rikets folkmängd den 31 december1888