Mommsen, Theodor Ernst,1905-1958.