3 ms·

I can set another DNS server and it is actually used – but it remains the same for VPN connections. Probably a local configuration issue, I will look into it …