Nach dem Update auf 4.0.6 virtulbox und der Neuinstallation der Gastanwendungen funktionierte es immer noch nicht.
Also ging ich zu Systemmenü> Einstellungen> Monitore> und änderte die Auflösung manuell auf 1600x1200. Wenn ich nun den Bildschirm maximiere, wird der gesamte Bildschirm verwendet.
Ich bin nicht sicher, warum ich die Auflösung hier manuell ändern musste, wenn ich es nicht auf meinem Heimcomputer hatte. Aber das hat funktioniert.