Zunächst möchte ich mich bei allen für die Antworten und die Bemühungen bedanken. Offen ist zumindest noch die Frage, wann die Installation von Ubuntu unter VirtualBox wieder funktioniert. Evtl. versuche ich dies gelegentlich noch mal mit Debian. Ich würde dann schon gern das Ergebnis hier berichten.
Aber ich folge der Anregung von Dimanche und und setze das Problem auf "Gelöst".
Danke und viele Grüße HaMi17