Important maintenance on 11 July, from 8:00 CET till 17:00 CET

Our server host has announced that they will be updating their infrastructure on July 11 during 8:00 CET till 7:00 CET.

During this timeframe the site might not be reachable or not be fully working.