Paul Dukes — British historian (1934-2021)