Emergency-stop pushbutton