Faust and his pact with the devil