The evening performance at the Royal Theater had ended, and the audience had gone home.