Alrighty. Ordered 2 mini din sockets from Reichelt for waaaaay to much money because of 6 bucks for shipping for 2 x 1 euro items. But Conrad would have been even more expensive 🥴
In the meantime I desoldered both PS/2 sockets and replaced the broken one with the one for the mouse. That way I can use the PC in the meantime and I want to use my serial mouse anyway. So it does not hurt to go without a ps/2 mouse port for a couple of days. Man what a day. But I am so glad this is solved. Thanks everybody for the lovely chat and of course the hints. 🙂
DOS Gaming: Biostar 8433UUD, AMD 5x86 P-75@150MHz, 64MB Ram, ViRGE 3D/DX 4MB, Aztech MM Pro 16ABI, Dos 6.22, Win 3.11
Windows gaming: Chaintech CT-5AGM2, AMD K6-2+/570ACZ@600MHz, 384MB Ram, Voodoo 3 AGP, SoundBlaster Vibra 16, Win 98