Tripp, Paul, 1911?-2002