Leider noch keine Entwarnung :-( Es wurden mehrere Fehlkonfigurationen gefunden und behoben — aus unerfindlichen Gründen funktioniert aber die Namensauflösung über unser Netz weiterhin nicht.
Ja, richtig, trotz externem DNS-Server kommt keine Namensauflösung zustande. Plan B ist nun ein Neustart des Netzes über andere, neu konfigurierte, Gateways — dies wird aber leider weitere ein bis zwei Tage in Anspruch nehmen :-(
Netzstatus 2018-12-10