ServerSpec.org configuration for the Debian-Administration cluster.