pensioneringen af betjeningen vid statens jernvägstraflk.