Title: Odds and ends about Derby and Derbyshire