More Koi

Japanese ornemental carps are called Koi. They can grow up to extraordinary sizes and impressive prices.
So I was surprised to see a big orange fish in the river next to my house:


(can you spot it?)

and on closer inspection, it was not one, but several koi!


I haven't checked if fishing is authorized here... (^o^) Since then I have seen lots of these big carps in the river, mostly brown but a few are white and orange.