»Wie enstand die Pariser Opéra Garnier?« – ARTE-Doku über den größten Theaterbau des 19. Jahrhunderts