Der PDF-Download im Java-Skript-Fenster funktioniert NICHT! Man muss immer erst in das zuvor geöffnete Browser-fenster zurückschalten und von dort aus im Download-Fenster öffnen. - Umständlich.