tjenstemän inom styrelsen för statens jernwägstrafik,