The overspeed tripping device installed on an auxiliary turbine is automatically actuated by __________.