Gerald "Gerry" Kenny 1934-2009