Können die Gartenpumpen mit einem elektronischen Druckschalter nachgerüstet werden?