( den faktiska folkmängden enligt1880