Stockholms opera skall nästa spelår fortsätta i gamla operahuset , men frän 1 Oktober tages Lagerlunden ianspräk