H-TRONIC Wassersensor für WS4010 und WS4000