Thanks for the technical tip and your answer.
I seem to remember you were quite
helpful in 2017 when we were supposed to go from Amsterdam to Budapest. (That didn’t happen as planned!)
We would like to take this trip at the end of August 2025, but want to avoid a river cruise that turns into a bus trip.