I immediately dumped a good 1 1/2 l of Prime into the pond, which is good for about 15.000 gl of water. One good thing about it was that a hose to one of the filters must have come off sometime at night, and that filter wasn't exposed to chlorine as much as the other one, but I still don't want to know how much of the beneficial bacteria has died off or suffered. We added tons of extra airation in form of powerheads and a 1/6 HP pump that has been converted into a fountain, and I added some salt to help the gills.
Man, I am so upset - my favorite 2 ft yellow butterfly girl was among the dead, our "good luck" koi (all black) and one of my hubby's favorite Sanke. We raised that yellow girl since she was a tiny little thing, and we wanted to spawn her the next couple of days. Stupid, Stupid, STUPID!
Hubby researched a bit on the internet tonight, and it turns out that the most reason for a large koi die-off is the hose forgotten in the pond. Looks like many koi die that way, and I just wish even more now that we would have our well water back. We didn't have to worry about that while on a well.... sigh....
Final count: 11 dead, one acting sluggish.
May somebody who reads this learn from it: NEVER take your eyes off of your ponds when doing water changes. DO NOT let yourself get distracted, and leave the cell phone in the house while changing water. Its a hard lesson learned, and I look with sadness at all the beautiful koi we have lost this morning...