Downtime Wednesday, Feb 7th for server maintenance

Lobbies will be shutdown at about 10:00h CET to be able to perform the maintenance tasks. The actual maintenance will only take a few minutes but we are going to wait until (most) running games are finished. We plan to have all lobbies back online around 12:00h CET.

Maintenance includes: VM reorganisation