"D\u00F6derlein"@cs .