… da gerade selbst ein Upgrade durchgeführt wurde.
Es schwirren zwar viele Anleitungen zum Update von Debian 6 auf Debian 7, jedoch beinhalten diese meist nur das Ändern der Sources-Liste mit anschließendem „apt-get update && apt-get upgrade && apt-get dist-upgrade && reboot“.