Mask hook for inside pocket

Often there are crumbs or the like in the jacket pocket and the mask quickly looks dirty. The mask stays clean thanks to the mask hook for the inner pocket. Extra slightly larger hook so that the mask can be stowed away or pulled out quickly with one hand.

I also made the hook again without a kink, then it can be printed:
https://www.thingiverse.com/thing:5332922