emergency overspeed trip device