Hugging-Face: tokenizers v1 liefert identische Token-IDs und ist 3- bis 30-mal schneller 21. September 2026