"Theodor Lewald"@cs .