Danke für den Tip. Eine gebrauchte Pumpe will ich nicht, denn dann habe ich ja das gleiche Problem bald wieder.

Ich denke, mit etwas Geschick kann man vielleicht den WeDi auch tauschen, ohne die Pumpe vom Kreislauf zu trennen.

Deinen Dokker und die Schule kenne ich leider nicht.

Schöne Grüsse
vom Tom