Eindhoven? [twee open restaurants]