DEF-pumper