Gas-insulated circuit breakers