It seems that the servers 3118, 3123 and 3126 are down, has anyone any idea what the cause of that is?