den gamla , , kungliga11teatern