Problems with name resolution

Update 09:00: The issue has been resolved. The cause was an internal configuration error, which is why the creation of an automatically generated configuration file failed.

For reasons not yet known, name resolution for some domains is failing both internally and in eduVPN. We are working to resolve the issue.