Seol mar théacs é seo: Hanns Eisler, Johann Faustus