All vendors

Krups service manual, Krups schematics,
Krups part catalog, Krups repair

Krups XP7240K1
Krups XP9000