Moin Stephan,
vielen Dank für die Information.
Ich habe die Pumpe getauscht, in der Nähe von Odense gibt es eine Händler, u.a. für Hobby. Der hatte die Pumpe. Ich durfte auch erst bezahlen, nachdem ich die Pumpe eingebaut und ausprobiert hatte. Ein super Service!! Das bin ich aus Deutschland nicht gewohnt.
Das Problem ist nun gelöst.
Herzliche Grüße aus Danmark
Stefan