Thanks for your answers!
I gave it one more chance and tried Todd's suggestion, ping -n, which worked. The error was in /etc/resolv.conf where I had misstyped the nameserver addresses (duh!). Sorry for crying wolf...
I'll return to these postings though when I *really* need a new card (i.e., when the wolf is at the door😉.