I want to know the answer to the following question:
What is the Michigan Stadium called colloquially?
All the background I'm provided with is that "Several well-known college sports facilities exist in the city, including Michigan Stadium, the largest American football stadium in the world.". Is that enough to answer the question?