Theatern , då operan ” Don Juan ” uppföies.