Eindhoven is Philips. Eindhoven used to be much more Philips; but in course of the inevitable restructuring of the last