For every dok_id in documentIds not already represented in allDocs, call client.fetchDocumentDetailsWithCoverage and append the result. Failures are logged but do not throw.
documentIds
allDocs
client.fetchDocumentDetailsWithCoverage
For every dok_id in
documentIdsnot already represented inallDocs, callclient.fetchDocumentDetailsWithCoverageand append the result. Failures are logged but do not throw.