I want to know the answer to the following question:
What is the name of the music hall
All the background I'm provided with is that "The original Vredenburg music hall has been redeveloped as part of the larger station area redevelopment plan and in 2014 has gained additional halls that allowed its merger with the rock club Tivoli and the SJU jazzpodium.". Is that enough to answer the question?