I want to know the answer to the following question:
Where did Adventures of Tintin debut?
All the background I'm provided with is that "The world premiere took place on October 22, 2011 in Brussels, Belgium.". Is that enough to answer the question?
Answer: yes