Dankeschön, also das übliche Prozedere beim Installieren von Updates/Upgrades unter Ubuntu und Co.

Dankeschön
Joachim