af såväl det nuvarande som blifvande operahuset.