Schauen wir uns hier die verschiedenen Pumpenarten an, welche gebräuchlich sind und welche heute sinnvoll eingebaut werden sollen.