Thomas Edward Mann (1913-1992)