auxiliary circuit (of a circuit-breaker)