Können die Gartenpumpen mit dem elektronischen Druckschalter Art. 1739 nachgerüstet werden?