comprehensive thesaurus (IR) for the Hungarian National Public Library and other public libraries in Hungary