Vielen Dank für die schnelle Antwort Olaf :)
Mittlerweile hat es sich geklärt, es stellte sich heraus, dass der Neustart, der ja auch immer direkt nach der Installation von Updates vorgeschlagen wird, einfach nicht ausreichte. Ich merkte es, als ich den Lappi runter fahren wollte, und nochmal...