How do I shrink a dynamically growing VDI disk from VirtualBox?

My dynamically growing virtual disks (VDI) from various Ubuntu installations in Virtual Box are actually steadily “growing” indeed.

Deleting of files in the virtual machine does not free the space…