Server maintenance
At about 11:00 o'clock today we will shutdown our vm-server for maintenance. The following services will be unavailable for about 1-2 hours:
-- Thomas Preisner
