Re-used in https://www.heise.de/tp/features/Niederlande-Bauen-unterhalb-des-Meeresspiegels-6133015.html