Falls es immer reproduzierbar ist, probier mal in den Netzwerkeinstellungen einen anderen DNS Server zu hinterlegen, z.B. 1.1.1.1 oder 8.8.8.8
Macht das einen Unterschied?