f. n . operahuset och riksbyggnaderna på Helgeandsholmen.