Why does the name resolution not work?

Sometimes it could happen that after an installation/implementation of a virtual machine, the DNS resolution won't work. To solve this problem, add the following DNS servers to your system config (Linux: /etc/resolv.conf):

  • 130.59.31.248

  • 130.59.31.251