Are you sure about the exactitude of the Rhine river cruise hours displayed in the event wiki ? To me, it seems that the departure is at 8:55, since we'll be in the peak season ( 26. April - 5. October 2008 ) and that the 9:55 departure is only offered in July and August.