A non-transitory computer readable storage medium having a computer program, which is executable by a processor, comprising:
- a program code arrangement having program code for producing a contacting device for electrical contacting of a printed circuit board with a coil body for a solenoid valve for a brake device for a vehicle, by performing the following:
- providing a helical electrically conductive contact spring, which is configured to be contacted or capable of being contacted with the printed circuit board at a first spring end and configured to be contacted or being contactable with the coil body at a second spring end, situated opposite the first spring end, to enable a resilient electrical contacting of the printed circuit board with the coil body, and a pin which is receivable in an interior space of the contact spring, the pin being configured to support the contact spring from the interior space in a received state received in the interior space;
- wherein an electrically conductive welding element is arranged in or on the coil body, the welding element being arranged as a stop for the second end of the contact spring and being configured to insert an end of the pin;
- and
- receiving the pin into the interior space of the contact spring.