af tjenstepersonalen vid statens jernvägstrafik ).