personal vid statens järnvägstrafik.