Title: ZUR HISTORIA VON D. JOHANN FAUSTEN IN THOMAS MANNS DOKTOR FAUSTUS