Gemeente Eindhoven in Noord-Brabant