stod nämligen förut Ringteatern.