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