Using JonDonym the DNS name resolution is done by the exit mix. But maybe you do not use JonDonym for all your traffic. It may be helpful to use a censorship free DNS server.