Tutto a posto! as we say in Italian. I needed to put the nameserver information in the interfaces file, install the resolvconf package and then run the command:
cat /etc/network/interfaces | resolvconf -a eth0
I rebooted the system and it now works every time. The nameserver is persistent.