Text this: Rapid arc extinguishing of a double-ended electromagnetic air-blast segmented arc-extinguishing device