Barbara Harvey - British historian (1928–2025)