small German Push-button ON/OFF Latching Switch

One (1x) small German push-button ON/OFF latching switch in good condition. The size of the switch is 25 mm x 14 mm. The diameter of the white nut is about 10 mm. The rear is stamped with "2/250 3020". Made in Germany in the 60ies.

For example, it can be used to switch the alarm system in an old car on and off, such as Wach-O-Maat:
https://www.classiccult.com/wach-o-maat-halt-alarm.html