Gloucestershire is a county in England.