tillflyktsort , som den var långt innan sjelfva operahuset var fulländadt.