Ich musste das VDDK von https://code.vmware.com/web/sdk/65/vddk herunterladen und dann zum Ordner mit meiner vmdk navigieren und ausführen (in einem Terminal):
sudo <path-to-vdiskmanager>/vmware-vdiskmanager -R <name-of-vmdk>.vmdk
Wenn die Reparatur erfolgreich ist, sollten Sie Folgendes sehen:
The virtual disk, '<name-of-vmdk>.vmdk', was corrupted and has been successfully repaired.
Wir hatten die Box auch aus der VirtualBox-Benutzeroberfläche heraus veröffentlicht und mussten sie daher erneut hinzufügen:
VBoxManage storageattach <name-of-box> --medium "<path-to-vmdk>.vmdk" --storagectl "SATA" --device 0 --port 0 --type hdd