Benfey, O. Theodor (Otto Theodor), 1925-