"Der Stechlin" und "Doktor Faustus" /