Nach einem Boot von Ubuntu 18.04 wieder kein DNS.
	 sudo apt install resolvconf
	 Hier die DNS-Serve eintragen:
	 /etc/resolvconf/resolv.conf.d/head
	 nameserver 131.188.0.10
	 nameserver 131.188.0.11
	 Jetzt den Service restarten:
	 sudo service resolvconf restart