At the Rhein (Rhine) in Mainz

Looking up the Rhein in Mainz (there's a confuence of the Rhein and the Main in Mainz). The empty dock shows that we missed the river cruise: the boat left at 9:45 a.m., and we were there at 4:30 p.m. Next time.