som då kallades Stockholms teater.