PanLinx: double extension

English	eng-000
double extension

English	eng-000	DE
русский	rus-000	двойное растяжение
русский	rus-000	двойное расширение имени файла

PanLex-PanLinx