Windows Batch File to change between Google DNS and DHCP DNS (Documentation in German)