DNS Problem, probably related to proxy?

Thank you for your answer, I posted a follow up here: Docker commands from windows with proxy to clear out all problems, where this is just one of them.