Title: Industry, trade, and people in Exeter, 1688-1800