https://www.dict.cc/englisch-deutsch/eddy+current+separator.html