Upgrading: Failed to lookup IP address for www.webmin.com

SYSTEM INFORMATION
OS type and version Debian Linux 11
Webmin version 1.990

Hello,
I tried to update webmin on my raspberry pi, but unfortunately I get this error:
Failed to upgrade from www.webmin.com : Failed to lookup IP address for www.webmin.com

It seems like this domain is not available from my ISP (german telekom).
Is there anything I can do about this?

Thanks and kind regards
Andi

Use a different DNS server (are you sure any name lookups are working?). Or hardcode the IP address for www.webmin.com into your /etc/hosts file.

Thanks for your suggestions.

I tried it yesterday and the update worked. Seems like it may have been a temporary issue with my providers DNS.