Je hebt 5000 servers, tegelijkertijd vallen er 200 uit — wat doe je?