Wie hoch sind die Berge am Achensee?