Text this: Hanns Eisler, Johann Faustus