Rikets folkmängd den 31 december1893