Started 31 Jul at 11:30pm CEST, resolved 31 Jul at 11:34pm CEST.
Document Manager recovered.
Document Manager went down.