Info 2023-10-10 09:00: SOLVED: Problems with name resolution (DNS) The problems with name resolution should be solved. The name resolution of internal and external DNS names works again.
