How the Netherlands cope with tides