De publieke omroep van Eindhoven en Geldrop-Mierlo.