Between 2025-12-23 ~20:30 and 21:11 UTC our DNS resolver services were not reachable as usual. This was caused by our transition to our new hardware. The issue has been solved.