push-rod switch - German English Dictionary