ircbox, cipterm0 Wartungsarbeiten

Am 3. August werden die ircbox und cipterm0 rebootet. Beide sind zwischen 10pm-12pm kurzzeitig nicht verfügbar.

-- Michael Gebhard