dass nur das Relais der Pumpe defekt war, also nur eine kleine Reparatur.
Das ist ein ganz gängiges Seilwindenrelais und kostet in der Bucht ca.35 €. Ich weiß jetzt nicht mehr was ep damals bei mir haben wollte für das originale , war aber ein vielfaches. Das preiswerte funzt mittlerweile in meinen ehemaligen seit Jahren.