I just talked to the administration and we can get a dedicated server with vm ware for different distros and a disk space of ~50 gb. plus a apple ppc machine. the guys from the hackerspace maschinenraum offered their help to install. m.