Was sind das für Taster?

Für die  Reparatur einer Drehbank-Digitalanzeige von Elesta aus den 
80ern (?) suche ich 2 der Taster mit dem Kreuz (auf der Platine), die 
beiden haben Dauerschluß..

Kennt Jemand den Hersteller/Typ oder hat gar noch welche herumliegen? 
Ggf. schlachte ich dir auch selbst irgendwo aus...

Von der Variante mit dem roten Gummiprömpel habe ich Einige da, die sind 
aber  leider nicht wirklich hilfreich weil die Tastenkappe daran nicht 
zu befestigen ist. Die Abmessungen der Schalter sind wohl 12,4x12,4mm, 
der Abstand der mehr oder weniger diagonal angebrachten Pins ist ca. 
11mm.

Danke im Voraus,
Pille