har under 1888 utgjort kr.