Christopher Polhem (1661-1751), mechanic, inventor, married to Maria Hoffman