Pushbutton switch (change-over contact)