Info 2023-10-10 11:00: GELÖST: Probleme mit Namensauflösung (DNS) Die Probleme mit der Namesserverauflösung sollten gelöst sein. Die Namensauflösung von internen und externen DNS Namen funktioniert wieder.
