Badi Romanshorn: Der letzte Sprung vom Sprungturm kurz vor Badeschluss...