Stammt der Koi-Karpfen vom Cyprinus carpio, oder vom Cyprinus rubrofuscus ab?