Roy A. Holl (1928-2012)