Afinal, foi uma questão de DNS. Normalmente, os clientes são configurados para solicitar suas configurações de DNS do servidor. O servidor apenas fornece seu próprio endereço IP para isso. Depois de definir manualmente o DNS primário para o servidor e o DNS secundário para um servidor DNS externo, tudo funciona como deveria. Mas: Como posso configurar o servidor para fornecer o DNS externo aos clientes? Como o problema pode ter se originado? Isso só pode ter acontecido após uma reinicialização automática após uma atualização, já que não reconfigurei o servidor em meses.