Können die Gartenpumpen ab 2023 mit einem Druckschalter nachgerüstet werden, oder mit einem Funkschalter ferngesteuert werden.