Just FYI the danish isp TDC/YouSee is having DNS issues today… switching to an alternative DNS like 8.8.8,8 works here
