pushbutton switch - German English Dictionary