Why don't seafile delete files aldo I have deleted them?

I did try to upload a file it was around 6,7GB and afterwards I did delete the file and I did also clean the trash in the webinterface.

But it’s still taking space on my harddrive:

/dev/sdb1                     817G  6.7G  802G   1% /media/cloud1

Why’s that?
In the webinterface my library only takes 293.5 KB.

I have been looking after the file in the webbinterface but I can’t find it in the trash or anyware, it was about 30 min ago I did delete the file.

But, I did see something under the “history” tab

Is this way it still taking space on my harddrive? If so, how do I take care of it aka delete it?