statens Pensionsinrätlning den 1 juni 1882.