. . . "Don Juan: Allegro grazioso" .