ITX Power button adapter (19 mm to 12 mm)

I recently printed this nice ITX case but was lacking a 19 mm power / push button:
https://www.printables.com/model/156804-mini-itx-case-super-compact

Since the PicoPSU did interfere with the button hole and smaller push buttons were much cheaper I ordered a pack of 12 mm buttons at Amazon:
https://www.amazon.de/dp/B0B3QM6J6C

Then I desigend this push button adapter which was glued to the case with superglue.

Screw in the push button first (you might need a flat screw driver or some long pliers for the nut) and then glue it in place.