HF-Stecker - Typ gesucht

Hallo zusammen,

kann mir einer von euch sagen wie man diesen Steckertyp nennt? Etwas 
vergleichbares kann ich nicht finden.

Ist von einer Antennenzuleitung für einen Schulversuch mit 
Zentimeterwellen. Das Kabel ist defekt und der Stecker schon arg 
ramponiert und ich würde gerne für Ersatz sorgen, aber leider ist vom 
Hersteller kein Ersatzteil mehr zu kriegen.

Danke und Gruß
Johannes