Wifi is working! Reading some of the links in the replies on my former post it was suggested that powering off the system (instead of rebooting) and then booting again could resolve the problem. Although this sounded like magic to me I couldn't resist giving it a try. and it works! At least for now. Thanks for your replies. Peter