Ist eine Reparaturanleitung zum Pumpenwechsel verfügbar?

Seit einiger Zeit macht die Pumpe meines PicoBaristo Probleme, Zum Teil wird der Spülvorgang abgebrochen und es erscheint der Hinweis zum Entlüften des Wassersystems an der Heißwasserdüse. Begleitet wird diese Funktion durch ein abnormal lauteres Geräusch der Pumpe.

Grundsätzlich würde ich die Pumpe schon selbst wechseln, aber mit einer Reparaturanleitung wäre dies schon beruhigender. Eine solche konnte ich bisher jedoch keine für diese Gerätetype auftreiben.

Kann hier jemand weiterhelfen?