Produktionen inBezug auf Der Zwerg - Opéra de Rennes (2018) . 3