Hallo Wolf,
es funktioniert jetzt. Die Ursachen:
1) Ich muss zusätzlich zur Datei pap-secrets noch das richtige
Startscript nach "/etc/ppp/peers" kopieren. Darin steht nämlich der
Loginname ("user").
2) Manchmal klappt dann das Login zu meinem Provider, manchmal nicht.
Nach einem Reset des DSL-Modems klappt der Login aber zuverlässlich.
Freundliche Grüße,
Christoph