Herold G. Kristensen (1930-2014)