nya operahuset vara fullt afslutadt på hösten 1893 , ehuru det i sjelfva verket måhända kommer att draga ännulängre