Doctor Faustus, Thomas Mann