Aran Tegernsee menù, Tegernsee