Her kommer lige en opdatering: Jeg købte en uoriginal pumpe. Den passer fint og det hele virker. Dog ér der altså en forskel: Den originale virkede mere robust med en ekstra, beskyttende "kappe" omkring bagsiden og stikket. Den uoriginale havde ikke denne kappe og dermed var spole fri og stikket sidder mere udsat. Jeg tog desværre ikke et billede af det.
Det betyder nok intet, medmindre der en dag er en utæthed eller lignende. Og i dét tilfælde har man nok større problemer end pumpen
Iøvrigt var det meget nemt at skifte pumpen, så det skal ikke skræmme nogen at reparere det selv.
TIP: Sørg dog for at tjekke afløbsslangen INDEN du skifter pumpen! Min var næsten tilstoppet i samlingen mellem afløb og slangen. Det har gjort livet meget svært for pumpen...