Servers resumed

We have resumed the servers of the research group, which had been suspended due to unauthorized access from September 11th to 12th.