David Hedges Roll (1913-1992)