There's a minecraft server on erratic.
It can be reached at 10.208.30.188 - this works fine via VPN
On IRC, one can invoke !minecraft to see statistics.
Also on http://10.208.30.188:8080/ statistics can be seen (including a usage heatmap).
External (outside the space), connect your minecraft client to space.nurdspace.nl