Ich weiß jetzt leider nicht, welche Dichtung Du meinst, aber das Pumpenleder kannst Du eigentlich nicht meinen, da das einen größeren Durchmesser als 4 mm hat. Vielleicht kannst Du das auf dem Bild des
Expeditions-Service-Kit erkennen. Das Pumpenleder war bei den alten grauen Pumpen übrigens wirklich aus Leder bei den neueren roten ist es aus Kunststoff.