Frank Walter (1926-2009)