maj 1888 för tjenstebefattningarna vid pensionsinrättningen.