Fartyget , som tillhör de Danske Statsbaner,