The suggested workaround to add dns=default to the [main] section in /etc/NetworkManager/NetworkManager.conf does not solve the issue that the browsers cannot resolve the internal host names in my case.
The suggested workaround to add dns=default to the [main] section in /etc/NetworkMan ager/NetworkMan ager.conf does not solve the issue that the browsers cannot resolve the internal host names in my case.