Hallo Erich,
für einen Teich von 9000 l benötigst du keinen TF. Das ist schwachsinn.
Wenn Du wrklich wenig Arbeit mit deinem Teich haben willst, hol Dir einen Vlies- oder Papierfilter. Da gibt es verschiedene Größen von und wie ich das sehe, reeicht für 9cbm wohl schon der kleinste davon...