e l'elettropompa in dei garage serve a pompare cosa?