At the bottom of each page you will find a button to generate an easily readable and printable PDF of the respective page. Unfortunately, this service only works in English. If you want to transfer the page into a PDF in the language of your choice, you must use the print function of your web browser. Select “PDF” as the printer. With some browsers, however, you must first scroll down to the bottom of the page, otherwise the first part of the page will be in your language, but the rest will remain in English.
Example German: