Design for the opera by Wolfgang Amadeus Mozart, 'Don Giovanni'