Antone Elmer Holl (1907-1988)