Text A indicates that the name is usually „Mephistopheles“, while the version of text B usually indicates „mephostophilis“.  The name of the devil is a reference to Mephistopheles in Faustbuch, the source work published in English around 1588.   The tragic story of the life and death of Dr. Faustus, commonly known as Dr. Faustus, is an Elizabethan tragedy by Christopher Marlowe, based on German stories about the main character Faust. . . .