Thanks for everyone's ideas.
Neither power cycling, nor rebooting, nor ipconfig /release and ipconfig /renew, nor a network reset have any effect, which is not a surprise, because my Ethernet NIC and my router are on different networks.
I also thought about the Ethernet cable, but the same...