Early Derbyshire historians : 17th-19th centuries /