Conversation so far:

Question: what is the name of the highest mountain in germany
Self-contained rewrite: what is the name of the highest mountain in germany