history tells fausto who is a magician invokes the devil