In Chrome kann man den DNS Cache unter der Adresse
chrome://net-internals/#dns
leeren. Bei FF weiß ich es nicht.
Danke für den Hint, kannte ich noch nicht. Ist für mich dennoch keine Erklärung. Soweit meine Erinnerung trägt, passiert das automatisch beim stumpfen "Cache löschen" im Browserdialog. Für das skizzierte Szenario bräuchte man ja die von Dir beschriebene Option "Browser-HTTP-Caches geleert, aber nicht die Browser-internen DNS-Caches". Dann auch noch für Chrome, Firefox und Edge.