Wie hoch ist der Schrecksee?