The national theater building in Oslo.