Welcome, Have you installed your new pond? I dont think you would want to give up your fish when they get too large for your new pond. Let me look up the formula from the book that Dave recommends. "120cm squared of surface area per cm of fish lenght minus tail,. or 48inches squared per inch of fish Aeration is very important." Another book I also just got " Koi need space to swim they can do OK in 2 feet depth but as they g row larger deeper makes then happier up to 5 feet.. 1 inch of fish for a gallon of water. or 1 inch of fish for each 6 to 12 inches of surface. Double that for koi." My rule is Do the best that you can afford. If you can go larger later go larger than you think you want.
The Manual of Fish Health by Dr. Chris Andrew et.al.. and
Backyard Water Gardens, How to Build, plant & maintain ponds etc. by Veronica Lorson Fowler