Hallo und guten Morgen! bei mir fehlt seit einiger Zeit der debian-Menu-Eintrag. Kann man den von Hand einfügen? Bernhard