Rikets folkmängd den 31 December 1888.