Wie hoch sind die Berge um den Königssee?