Obituary: Gabriel Ward Lasker (1912–2002)