Eu mesmo encontrei a resposta, mas não entendo porque funcionou. Instalei o gerenciador de redes gráficas e reinsira os dados do arquivo de rede / interfaces.
Quando reiniciei, descobri que o FireFox podia acessar qualquer URL que eu inserisse. Parece que a ferramenta gráfica faz algo que o endereço do servidor DNS que o arquivo de rede / interfaces não faz.
Espero que isso ajude os outros.