och genom ledningar skall musiken från kejserliga operan öfverföras till rotundan.