( Kongl , teaterns repertoire ).