. l ll .PUMPING HOUSE. l ll . DERTEXX