The Topcover for the BioPress 8000 is the same like the 6000.You find the right one at follow link below.
https://www.oase-teichbau.de/filteroberteil-biopress-8000