"Ottmarsheim"@cs .