Update InterDB

Am Wochenende des 29. und 30. Juli findet ein Update vom Monitoringsystem InterDB statt, bei dem das System möglicherweise außer Betrieb ist.