Notiz an mich selbst:
Damit ich mir es mal merke, schreib ich es jetzt hier hin:

Den DNS-Cache unter MacOS X 10.5 kann man mit

dscacheutil -flushcache

leeren…

Zur Erinnerung: Unter MacOS X 10.4 war es

lookupd -flushcache