Für den Schwumm nach der Bergtour: das Freibad Lauterbrunnen...