Clifford P. Holl (1926-2019)