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: "What nationality was the inventor of the first vacuum pump?" whose answer is German.
Each document should contain about 30 words, and these documents should contain useful information.

Query: inventor of the first vacuum pump
Useful Output:

Doc 1: In the mid-17th century Robert Boyle, with the help of Robert Hooke, set about building an air pump and with it a whole system of experimental natural
Doc 2: Comments ; Invention of the Leyden Jar: How a Jar of Water Shocked Thousands. Kathy Loves Physics · 105K views ; Reproducing Otto von Guericke's
Doc 3: Otto von Guericke is generally credited with the actual invention of the vacuum pump in 1650. The predecessor to the vacuum pump was the suction pump.
Doc 4: The modern air pump as we know it today was invented by Robert Boyle, an Irish scientist and philosopher who lived in the 17th century.
Doc 5: The advent of the air pump by Otto von Guericke constituted a significant leap in vacuum technology. This epoch-making invention established