Operahuset skall vara utrymdt 1 februari 1892.