Details:

Gasthaus Riederstein am Galaun – Tegernsee