Lieber Juergen, das war's! Vielen Dank für Deinen Tip. Ich hatte die Einstellung unter Character Devices falsch gesetzt, und danach mußte ich das alias und die options von Hand eintragen, und das war's dann! Vielen Dank! Erwin.