Badefreuden zur Sommerszeit.