https://www.dict.cc/english-german/three+jaw+gripper.html