den kongl , teatern.