Nut for decathlon bike hand pump

Replacement for the nut on the decathlon's btwin 100 bike hand pump.
On mine, the nut undid in my bike bag, and I managed to collect all loose parts apart from the nut itself.
So I designed, printed (and field-tested) a replacement.

Notice that upon usage of the pump, the nut gets stretched across the print layers, so use a filament with good layer adhesion.
PET-G works well, but my initial print, with thinner walls and of ABS printed with too low extruder temperature, broke after several usages.