So, erledigt.

Habe die neue Pumpe eingebaut. Das ganze Zeug drumherum war erheblich schneller abgebaut als gedacht und erstaunlicherweise auch genau so schnell wieder zusammengebaut. Da hatte ich vorher meine Bedenken, aber es flutscht geradezu von alleine wieder zusammen.

Die Alte habe ich beiseite gelegt, falls ich mal Langeweile und Lust zum Gummischnitzen bekommen sollte.

Bis die Tage, Ralph