The faulty server is now back in operation for 50 minutes and we integrated it back into the DNS rotation. All systems are fully functional.
During the outage, no visible impact should have occured, with the exception of some slow loading pages during the first minutes of the outage.
