Wie hoch ist der Deich an der Nordsee?