@neudorf

Für die Pumpe benötigt man eigentlich kein Spezialwerkzeug.
Nen langen T30 Torxschlüssel (für die 3 Pumpenschrauben), und halt was um das Abschirmblech vom Steckverbinder und den Kabelkanal zu lösen. Einen 12 mm Leitungsschlüssel oder Maulschlüssel für die Angschraubte Druckleitung. Und ...