Harvey Holl (1935-2019)