Dies trifft aus zwei Gründen nicht zu: Erstens handelt es sich bei der errechneten maximalen Höhe des Sees gerade um einen Annäherungswert. Bemessungsgrundlage ist kein konkretes Hochwasser, sondern ein formelles im Sinne einer abstrakten Gefahr. Wenn sich nach anerkannten Methoden ein bestimmter
Wert ergibt, so ist dieser als formelle Schwelle massgebend und ist nicht noch eine
Sicherheitsmarge einzurechnen. Im Bauwesen sind allgemein bei Vorliegen formeller Schwellen als Vorgabe diese einzuhalten, ohne dass überall eine (womöglich
noch mit höheren Kosten verbundene) Sicherheitsmarge hinzuzurechnen ist;