"Michael Vyhl\u00EDdal"@cs .