Der Upgrade auf 18.04 ist gerade fertig geworden. Es scheint alles gut gelaufen zu sein.
Ich hätte trotzdem gerne gewusst, wie man das Problem ohne Upgrade gelöst hätte.
Ich bedanke mich herzlich bei allen für die Hilfe und Ratschläge.
Soll ich das Thema hier als gelöst markieren ??