Der Pin wird bei gelegt. Sie werden nur genannt, weil sie gegebenenfalls Bestandteil des Produktes sind und/oder die Markenqualität kennzeichnen.
eBay