pushbutton switching - German English Dictionary