Der Schlüssel ist korrekt.
Aber - o Wunder: Als ich den Rechner heute einschaltete, war sofort die Internetverbindung da und auch die korrekte IPv4-Adresse konfiguriert. Gestern Abend hat ein Rechnerneustart noch nicht geholfen. Naja, manchmal versteht man nicht, warum etwas plötzlich funktioniert - aber Hauptsache, es tut jetzt :-)