Willempolder Pumping Station,