Seiten- und Serverupdate ausgeführt

Wir haben ein größeres Update durchgeführt und zwei neue Server hinzugefügt, neue Dumps erzeugt und Virtuoso auf die neueste Version geupdated.

Changelog:

- zwei neue Server mit Quad Core Xeon und 16GB RAM
- neue Dumps auf dem Stand vom 14. Januar 2014
- Virtuoso auf Version 7.0.3 aktualisiert