Drückend heißer Badetag am Walchensee