Als kleiner Tipp für euch: Spart euch die Tipp-Arbeit und benutzt apt statt apt-get. Ist der neue Standard, funktioniert besser, und ist zudem auch schneller beim Tippen!