Obtain page/file as a PDF file. Depending on the 'Turn entire file into a PDF' option in WebAdmin, either the current page or the entire file will be made available as a PDF file.
If the option 'Create PDF files' is activated in WebAdmin at Manage archive, then the PDF file can be downloaded directly. If this is not the case, then the corresponding PDF file is created 'on the fly'.