Het Cruydenhuisch menù, Eindhoven