"Josef Symon"@cs .