Wie viel kostet der teuerste Koi der Welt?