Verwenden Sie diese Tastaturbefehle, um die Schriftgröße zu verändern:
PDF-Version Dezember 2018
PDF-Version November 2018
PDF-Version Oktober 2018