non avevo letto....
in 800 litri, con 6 carassi, credo che 15 litri sia poco.
Non c'è una regola precisa o meglio, non la conosco, ma sto facendo le proporzioni con l'acquario che ho in casa.
E' un 640 litri lordo ed ho il filtro eheim 2075 che compreso di pompa ha un volume da 35L.
Diciamo 25 litri di volume filtrante, con pompa da 1250 l/h
Se vuoi stare tranquillo, userei un bidone + grosso, o ne usi due uno in cascata all'altro...