Mittlerweile ist die deutschsprachige Online Hilfe auch als 665-seitiges PDF als Download verfügbar ...
Die PDF-Version war von Anfang an da (wird ja auch auf der Startseite der Online-Hilfe verlinkt). Das dürfte eine einzige Quelle sein, die wahlweise als HTML oder als PDF gerendert wird.
Alle Zeitangaben in WEZ +2. Es ist jetzt 07:24 Uhr.
