Text this: Overture to the dramma giocoso Don Giovanni