electric pumping device