10:53am UTC: We have restored services on our european mirror machine which was not compromised. DNS should be shifting you over right about ... now..