Harold Whitaker — animator (1920-2013)