Kungliga stora theatern har ändtligen,