The devils of Loudun – Royal Danish Opera