hat sich erledigt - Pumpe hat von selbst abgepumpt, wir haben es einfach nur nicht mehr mitbekommen.
Aber wenigstens haben wir den Zugang jetzt frei und haben die Pumpe mal gesehen -falls mal wieder was ist

Gruß an alle und sorry für den unnötigen Thread
Rolf