Kabinet en regio Eindhoven investeren 2,5 miljard euro om chipsector te behouden