Produktionen inBezug auf Royal Opera House -- Covent Garden . 176