Paul Anthony Ginsborg (1945-2022)