för år 1888 inlöses med 7 1 / 2 ° / 0 eller 75kr