tendentsämbetet har sedan någon tid låtit anställa grundliga undersökningar af nu varande operahuset och dess murar.