operation of a push-button switch - German English Dictionary