"Weihern"@cs .