Robert Gibson: 1923–2003