Translation of "Pinch bolt" in German