push-button microswitch - German English Dictionary