push button switch with positive operation of the make contact

EN 60617: 07-07-05

: make contacts - push button switch with positive operation of the make contact