2023-10-10 08:50: Problems with internal name resolution
Currently there are problems with the name resolution in the university network, so that some websites are not or only sporadically accessible. We are working hard to find a solution to this problem.