thank you Matthias for the clarification. It would be great if you could have a look at my Git repositories. The one that is using the most space is ProfileDispatcherUI5. You can delete this completely. If it's not there anymore it would be great to get an overview of the space occupied by which project / repository. If this is to much effort just tell me how much space there is left at the moment, please.
My userid is P001984 and the account p001984trial
Thanks Helmut