In order to generate PDF-documents, it is necessary to install a PDF-driver.
Files / Print is then used to generate PDF-documents. The PDF-driver must be chosen under Files / Print / Printer settings.