Quoto quanto ti hanno già detto gli altri.
Ti servirebbe un acquario più grande -MOLTO più grande. Secondo me, non più piccolo di 180/200 litri. Dopotutto si parla di carassi normali.- e probabilmente anche un filtro sovradimensionato contenente cannolicchi.
Considera che i carassi normali, di norma, dovrebbero crescere intorno ai 30 cm.
Il fatto che dopo 10 anni siano rimasti di soli 12 cm, significa che hanno sviluppato una qualche forma di nanismo o rachitismo dovute alle dimensioni inadeguate di quella vasca.

Fossi in te, io per ora li terrei dove sono e nel mentre, allestirei e farei maturare da zero una vasca di dimensioni adeguate.
(Aka un mese e più senza dentro i pesci, misurando i valori dell'acqua settimanalmente.)
Se non vuoi spendere troppo, qui sul mercatino puoi trovare offerte interessanti..
Oppure,dai semplicemente via i tuoi pesci a qualcuno che abbia una vasca adeguata, oppureun laghetto.

Poi...Aggiungo una cosa...
Piante finte MAI.
Non ti servono a nulla e rischi di ferire i pesci, con quelle.
Cercane di vere compatibili con i carassi. Tipo vallisneria gigantea ed americana, anubias, microsorum ed egeria densa.
Non solo conferiscono alla vasca un aspetto più naturale, ma ti aiutano a tenere la vasca pulita, ad ossigenare l'acqua e a contrastare le alghe.