Development environment of ground-zero.khm.de.