Eugene M. Lang (1919-2017)