"J\u00FCchsen"@cs .