Díky moc, pomohlo to. Pro ostatní, koho by to zajímalo: V adresáři s instalací Virtualboxu spustit

VboxManage modifyhd Soubor.vdi --resize nova_velikost

Soubor.vdi napsat včetně úplné cesty
nova_velikost je v MB

Pochopitelně, jak správně podotýká kolega Lizard, je potřeba dát si pozor na velikost oddílů:
- Zvětšit disk se podaří vždy, vznikne tím ale pouze volné místo, kam je třeba rozšířit oddíl, nebo vytvořit nový
- Při pokusu zmenšit velikost disku pod velikost již zabranou oddíly se zahlásí chyba a operace se neprovede

Pozor! Velikost disku lze měnit pouze u souborů .vdi, u souborů .vmdk ne! (na to je třeba dávat pozor zejména při importu apliance, kdy se defaultně nabízí .vmdk, po přepisu na .vdi vše funguje)

Z mého pohledu je celá záležitost uzavřena. Děkuji za pomoc.