under 1888 hafva utgjort kr.