Royal Opera House, London, United Kingdom