Alte Taster gesucht

Hallo,

bei einem älteren Gerät sind mehrere dieser Taster (siehe Anhang) 
defekt. Ich wollte sie nun ersetzen, kann aber bei keinem Anbieter den 
gleichen Typ finden.
Weiß jemand woher man diese Taster bekommt?

Danke im Voraus,
Marcel