Day in the working life of a (retired) historian: Patricia Grimshaw