"mravenec kr\u00E1lovnin"@cs .