docker: DNS resolution failure

My docker containers suddenly were unable to resolve DNS names, which blocked them from accessing the remote database they need. The symptoms were various but in the end the containers...