English: Where was the first performance of Life is a Dream held?
translation: Wo fand die erste Aufführung von Das Leben ist ein Traum statt?