Debian-Beginner: apt-file update bringt Fehler