How to discharge a 10 kV capacitor