An einem heißen Sommertag im kühlen Tegernsee Baden gehen, ist wunderbar. Noch erfrischender ist das Schwimmen, wenn man sich vorher bei einem Bergspaziergang noch ordentlich aufgeheizt hat. Gefragt war somit irgendein Gipfel im Umkreis des Tegernsees, den ich noch nicht kenne. Die Nachsuche ergab genau einen einzigen: den...