The pond should be about 1000-1100 or a little less US gallons. On the quantity, It's really no true # or size, or inches, or KG. That is the golden rule. 1" of fish per 20 gallons, on a well filtered pond is a fair # for smaller size koi with good filtration, IMO BUT, It's more about pond balance, The are those that are showing fish that they want to grow super large fish fast. 1" per 500-1000 gallons is recommended, Breeders may HAVE to keep fish at 1" per 1 gallon, So there are workable extremes either way. I've used the 1" for 20 gallons with what I felt could safely keep fish healthy and the filter handle their waste. But I'm starting to have some of my fish getting to the 18-20" size and it's apparent that they do need more room than that now, maybe 1" per 50 gallon at that size??????? So it all depends on, filtration, oxygen, water quality, to fish load ration. Stabilized mature ponds will also out preform a new pond, that needs to be mentioned too.