Started 10 Aug at 11:34pm CEST, resolved 10 Aug at 11:38pm CEST.
Document Manager recovered.
Document Manager went down.