I have resolved the issue. Previously I had had to set the Corporate DNS Server Address in order to get DNS, presumably because of the router I have in front of the SME server. I had had to set the Corporate DNS to the router's gateway. This was the case in SME 6 and in 7 until today. Now if I don't specify an address DNS works OK.