[suche] Lieferant/Hersteller/Typ für Stecker Klimaanlage

anhängender Stecker ist in einem (alten) Bus montiert. Er sitzt an einem 
"dicken Rohr" welches irgendwie für Klima/Luft in einem reisebus 
zuständig ist. Irgenein Temperatursensor hängt da wohl dran.

Vom Einbauort (und dem entsprechenden Gegenstück habe ich momentan kein 
Forto. Kann dennnoch jemand mir sachdienliche Hinweise zum Stecker 
(Modell, Hersteller, Lieferquelle) geben?

danke
wsv