hade under 1888 ökats med kr.