Dialup-DSL? Dann musst Du tatsächlich nichts eintragen, sollte bezogen werden. Allerdings, vielleicht brauchst Du dann beim Starten des Domino die Verbindung, sonst kommt der Fehler. Mit der Option weg sollte das allerdings beim Empfangen keine Rolle mehr spielen.
Was Du noch tun solltest, ist im Konfigurationsdokument (weiss grad nicht genau wo) die Domäne web.de als Domäne, für die Du Mails empfängst, einzutragen, möglicherweise schaut er sonst gar nicht nach im Adressbuch. Wobei, auf der Konsole solltest Du trotzdem sehen, was passiert, sobald Pullmail Dir die Mails versucht, zuzustellen.