repellent push-button switch - German English Dictionary