, Don Juan * på operan.