Did you know that a 200-year-old costume worn by "the king" on Castleton Garland Day in Derbyshire is now in the local museum ?