Williams, Hermann Warner, 1908-1974