Hoe DNS-cache te spoelen in Windows 10 en macOS

^