Cat magnet holder

This is a collar magnet holder for a magnetic cat door. You must print two holders. The diameter of the magnet is 10mm. You can change this diameter in the provided Openscad file. You must glue the magnet to the holders. Due to the bad mood of our cat we couldn't take a picture of it wearing its new magnet holder... even though, it was, of course, delighted with its new toy. That's why we decided to take a wood tiger instead in the picture.