Christian, the workaround is to comment out the line "dns=dnsmasq" in /etc/NetworkManager/NetworkManager.conf.
Christian, the workaround is to comment out the line "dns=dnsmasq" in /etc/NetworkMan ager/NetworkMan ager.conf.