https://www.dict.cc/english-german/3+finger+gripper.html