( den danska kongl , teaterns repertoir ).