Warner, Denis, 1917-2012