Question: In what year was the Holy Roman Emperor whose name day the opera "La corona" was intended to celebrate born?
Answer: 1708