pensioneringen af betjeningen vid statens jernvägstrafk.