skulle i så fall 1892 — 93 års korta operasäsong vara afslutad.