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 was star wars the empire strikes back made?" whose answer is 1980.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when was star wars the empire strikes back made
Useful Output:

Doc 1: On May 21, 1980, Star Wars: The Empire Strikes Back made its theatrical debut. To celebrate the classic film's landmark 40th anniversary,
Doc 2: Between the release of A New Hope in 1977 and The Empire Strikes Back in 1980, Williams had risen to become the most successful and influential
Doc 3: The Empire Strikes Back is 40 years old today. Read here Empire's in-depth story of how Star Wars' first sequel came together, as told by
Doc 4: Sam and Tristan's first time watching and reaction to the 1980 film, Starwars: Episode V – The Empire strikes back directed by George Lucas
Doc 5: Since its release, The Empire Strikes Back (1980) has been critically reassessed. It is now often regarded as the best film in the Star Wars