[Derby] : Derbyshire Record Office, Education Dept., Derbyshire County