Danke Michael für den Tipp. Aber OS-Reboot war offensichtlich nicht mal erforderlich. Denke, dass der IPS Neustart vergangene Nacht im Rahmen des täglichen Offline-Backups das „geheilt“ hat. Denn heute funktioniert es wieder ohne dass ich etwas gemacht habe. Merkwürdig nur, das es erst in der zweiten Nacht nach dem Update wieder ging.