Thanks Ian. So there is no dhcp server to be restarted.
I have other problems but this gets me further along.

Ian, I also thought your site was informative. Thanks for taking the time. In the introduction you say "They assume your Ubuntu desktop/server is performing DHCP duties for your whole network. My ADSL router does that on mine." So I was confused about the step "Restart the DHCP server...