group of windmills that together pump water out of a polder, in what each mill pumps the water to a higher basin before it enters into a canal