Our 2021 Germany vacation: Mainz, Rüdesheim, and Bingen