https://www.dict.cc/german-english/Hall+Effekt+Endschalter.html