Den Helder, Pumping Station