Mann, Anthony,1914-