In total, with the cost of the three pumping stations and building a 40-mile long canal into which the lake water was pumped, the draining of the lake cost about 10 million guilders (nearly £4 million)