operation of a push-button switch - Deutsch Englisch Wörterbuch