[S] Hersteller vom Hilti Schalter

Hallo Leute,

erkennt ev. jemand den Hersteller des Hilti Schalters auf dem Bild?
Ich habe diesen als Ersatzteil gekauft. Leider ist es nicht der original 
Marquardt wie verbaut und beschrieben. Was nicht ungewöhnlich wäre da 
diese nicht mehr hergestellt werden.

Trotzdem hätte ich gerne gewußt wer diese fertigt.

Danke.
Gruß,
Schorschi.