Assume fault current 1kA, disconnection time 0.1s. ( S_min = \sqrt1000^2 \times 0.1 / 115 = 316.2 / 115 = 2.75 mm² ) – 10mm² is fine.