Rikets folkmängd den 3l december 1888.