"Franz Herrmann C\u017Eech"@cs .