English: JSON generation completed for %d terms.
Dutch: JSON generatie afgerond voor %d termen.