Harold Mills (1930-2008)