Hallo,
original hatte sie das nicht. Aber so ein Pumpendeckel ist ja schnell gewechselt. Kann sein das das hier der Fall ist. Man müßte vielleicht nach der Ersatzteilnummer gehen, vielleicht bekommt man da was raus. Von außen kann man die Pumpen meines Wissen nach nicht auseinander halten.
MfG Norman