Producteur
Daegu Opera House
(2022 déc. 29, 30, 31)
Orchestre
Daegu International Opera Orchestra
Chœur
Daegu Opera Choir
Daegu, Corée du Sud