Obituary: Harold Hobson 1920-2019