From English - German Ding/FreeDict dictionary ver. 1.9-fd1: pumping /pˈʌmpɪŋ/ pumpend see: pump sth., pumped, pumps, pumped, pump water out of the cellar
pumping /pˈʌmpɪŋ/ pumpend see: pump sth., pumped, pumps, pumped, pump water out of the cellar