https://www.opera-online.com/de/items L'Empereur d'Atlantis - Opéra de... Théâtre National Populaire ...
https://www.opera-online.com/de/items The Emperor of Atlantis - Covent... Royal Opera House - Covent ...