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.f3d.vn/3d-model/158142-vo-case-mini-itx-sieu-nho-gon 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.