I could stop the DNS leak by opening general Android settings
apkd-launcher com.android.settings/com.android.settings.Settings
and then entering the DNS (doh.mullvad.net in my case) in the network settings. But it does not accept IP addresses there. Only domain names.