Rikets folkmängd den 31 december 1893.