Jumbo City Eindhoven opent 15 november