Ombud for de Danske Statsbaner ( 7887 .)