"Wilm Tegethoff"@cs .