Treumann, Otto (Otto Heinrich), 1919-2001