"trestnost"@cs .