hvilket således vid slutet af 1880 vuxit till kr.