Rikets folkmängd den 31 december 1887.