The last policeman killed by a gunman in Derby was in the late 1890's and the last person killed by Derbyshire armed police was some 50 years ago. That's in a country of about 1 million people