I installed a Windows System in Virtualbox and successfully managed to connect the Windows System to the Internet through Whonix Gateway (as mentioned in this Link https://www.whonix.org/wiki/Other_Operating_Systems#Windows-Whonix-Workstation). Now I want to change the DNS Server on the Windows System. I tried Proxyfier and Proxycap and changing the DNS Server in the Windows settings, but nothing seemed to work. I keep getting other DNS Servers, assuming that those are from the Whonix Gateway. I hope someone can help me here.