Komische Oper Berlin. Orchester