那是什么样的插座？

I found that socket on a music device produced around mid 1970s in GDR and I was wondering what kind of socket it is. Unfortunately, someone painted the whole device, including the contacts. Therefore, I plan to replace the socket with an IEC-320-C14.I found that socket on a music device produced