Stav dette: Don Giovanni = (Don Juan)