https://www.dict.cc/englisch-deutsch/captive+bolt+pistol.html