An adaptive pumping station at the Afsluitdijk