Open
Description
Create a new virtual box image and upload to fileadmin for the latest version of virtualbox with an up-to-date Ubuntu version.
https://www.virtualbox.org/wiki/Downloads
Update \VMName in compendium/global-constants.tex
and Appendix in compendium/postchapters/vbox.tex