Was kostet eine Hocheffizienzpumpe?