Om statens järnvägstrafiks pensionsinrättning,