Vielen Dank an alle, die mir auf die erste Frage geantwortet haben.
Inzwischen habe ich einiges ausprobiert, aber immer noch das gleiche Problem. Auf der Konsole kommt die Meldung "dialing of ippp0 failed", und unter /var/log/messages "isdn-ppp-bind: can't find a (free) connection to the ipppd daemon". Der Pfad für ipppd in kisdn steht auf /sbin/, dort ist die Datei ipppd auch drin.
Was geht hier schief? ((Anonym))