Over 80GB for mail despite no mail
Dear community
I recently deleted over 10.000 mails from my mail app (believing they would not be deleted from the gmail server which was not true - now they are all gone - thank you chatGPT).
How can it be that my MacBook Air M1 still shows me that over 80gb are covered in terms of mail? How do I get rid of this data trash? I would like to have these emails on the gmail server but not on my hard drive.
Thank you in advance!