civilministern och generaldirektörerna i jernvägsstyrelsen.