ich habe eine externe Pumpe verbaut. Ging problemlos und ist auch gut zu wechseln. Ich habe den Originalfilter als Swirlpot genommen der mit einer Pazet Membranpumpe gefüllt wird und eine Bosch Pumpe als Druckpumpe die aus dem Filter gespeist wird.