Können die Tauchdruckpumpen mit einem elektronischen Druckschalter für den Automatikbetrieb nachgerüstet werden?