Proxxon PD 230 replacement hinge

The plastic hinge on my Proxxon PD230 broke, so I designed and printed a replacement part.
I realise this is a very niche thing, but I'm publishing it anyway in case it can be helpful to someone out there.
The part can be printed without supports. The holes for the hinge pins may need to be drilled by hand to the exact diameter after printing.