teatern , der " Don Juan " uppfördes.