In the search of the document archive there is now a button with which you can download all documents from the search result as a ZIP file. Conditions are:
at least one filter was used for the search
no document was selected
Available from 10 January 2024