PanLinx: бесконтактный переключатель

русский	rus-000
бесконтактный переключатель

English	eng-000	hitless switch
English	eng-000	proximity switch

PanLex-PanLinx