(SOLVED) DNS Partially not Working
The internet-facing DNS servers of ETH seem to have issues. ITS are working on it. As a workaround you can use VPN (or work at ETH), the DNS servers that are used then are OK.
Update (10:00 same day)
External DNS resolution should work again properly now.