Martin, Tilman M. (1927-2019)