Hallo, vielen Dank für alle Hinweise. Offensichtlich war es bei mir der Fehler https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780728 und die Lösung, die dort beschrieben wurde, funktioniert bei mir. Ciao Peter Schütt