Wie heißen diese Stecker / Buchsen?

Hallo,

kann mir jemand sagen, wie man diese Stecker nennt? Das Panduit ein/der 
Hersteller ist, habe ich ja schon heraus gefunden ;-) aber auch auf 
deren Website konnte ich genau diese Stecker nicht finden.
Die Stecker / Buchsen sind von einer ca. 20 Jahre alten Maschine. 
Vielleicht werden die ja so in der Form gar nicht mehr produziert.

Dankeschön.

Dominik