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