Rodrigo de Jerez, the first European smoker and his deal with the devil (en.wikipedia.org)