https://blog.doenselmann.com/virtualbox-vm-shrinken/