Kraus, Theodor,1919-