Wie hoch ist der Wasserpegel in Konstanz?