"ERC Ha\u00DFfurt"@cs .