Downtime on 2014-06-21 around 11:00

Tomorrow, Saturday, July 21st there will be a planned downtime of one of our file servers for about one hour, starting at 11:00. The /local directory tree and dhcp/primary dns services will be unavailable during this time.

UPDATE: The maintenance period is over

-- Johannes Schilling