You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "when does the film mama mia come out?" whose answer is July 18, 2008.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when does the film mama mia come out
Useful Output:

Doc 1: ​Amanda Seyfried has shed light on the prolonged development of Mamma Mia! 3. Inspired by ABBA's timeless hits, the jukebox movie musical
Doc 2: Release date · July 20, 2018 (United States) · Countries of origin. United Kingdom · United States · Official sites · Official Facebook · Official Instagram.
Doc 3: Here We Go Again was premiered at the Hammersmith Apollo in London on 16 July 2018, and was released in the United Kingdom and the United States on 20 July 2018
Doc 4: The movie is a significant improvement on its predecessor. Then again, it's difficult to state just how incompetently made the first movie is. Content
Doc 5: Mamma Mia! (HBO) ; Writers: Catherine Johnson ; Producers: Judy Craymer, Gary Goetzman, Benny Andersson, Björn Ulvaeus, Rita Wilson, Tom Hanks, Mark Huffam