Thank you, Dave!
That worked. Was new to me that there could be a hidden file in the trash, which needs admin-rights to be deleted.
That worked. Was new to me that there could be a hidden file in the trash, which needs admin-rights to be deleted.
