Don Juan Op. 20, Tondichtung nach Nikolaus Lenau