Schlecht für Teppiche: Manche Opernhausdächer