File:Pump and tub.png