Ik ben eruit. Door in terminal het commando sudo dpkg --configure -a in te geven was even later alles weer als het was. Achteraf heel makkelijk want deze opdracht werd aangegeven in een dialoogvenster, maar ik moet dit -- zelfs een paar keer -- over het hoofd hebben gezien. Newbie, weet je wel :-)