latching (of an emergency stop device)