"Leymannova"@cs .