Galaxy is down.

Our Galaxy server is suffering hardware problems. We hope to get back online by the end of february.

Sorry for the inconvenience,
Geert