stora teaterns i Stockholm repertoire.