https://www.dict.cc/english-german/engineman%27s+controls.html