https://www.dict.cc/english-german/socket+head+screw.html