I want to know the answer to the following question:
Who starred in Johann Mouse?
All the background I'm provided with is that "Notable examples are Walt Disney's Fantasia, Tom and Jerry's Johann Mouse, and Warner Bros.' Rabbit of Seville and What's Opera, Doc?.". Is that enough to answer the question?
Answer: yes