Hi Volki,
vielen Dank, hat sich erledigt. Das Problem lag ganz woanders: der Schlauch war von der Pumpe abgerissen, weil die Schlauchschelle durchgerostet war. Die Schraube war nicht aus Edelstahl. Ich habe nun neue Schlauchschellen angebracht und nun läuft die Pumpe auch wieder. Es hat mich zwar schon sehr gewundert, dass die Pumpe dann offensichtlich gelaufen ist, denn ich habe sie nicht gehört. Sie hängt 10m tief in einem Schacht, aber ich kann sie sonst gut hören - bzw. das Wasser. Aber am Ende scheint es dann doch nicht der Schutzschalter gewesen zu sein.
Trotzdem vielen lieben Dank für deine Hilfe.
Beste Grüße
Zaphodis