How does this push button work?
Bär (Baer without the umlaut) is now a brand of Johnson Electric. Check their website:

http://www.johnsonelectric.com/en/features/energy-saving-push-button-switches-for-coffee-machines

Seems these "Tippmatic" switches have some timer built-in.