Title: Doctor Faustus with the English Faust book