Elektronischer Druckschalter für Gartenpumpen, Tiefbrunnenpumpen, Kreiselpumpen