"\u0160achov\u00FD program Fritz"@cs .