To be honest, I do not even know the name of the manufacturers.
I can advise you: Dunco, Kienzle, Kaiser (all in German production, actual) or Leitz V35. But for the last one the HLX Philips bulbs are discontinued. You need an adapter from Kienzle, (they are making Leitz spare parts too), for using a standard Osram HLX type. The V35 is 35mm only, Dunco 35mm - 6x7cm, Kienzle have different formats, also 35mm only, and Kaiser 35mm till 6x9cm. the V35 and Kienzle can have auto focus too.

I think with above mentioned brands you can not go wrong. All parts are also available, when necessary even new production.

best regards,