PDFs werden zu klein gedruckt, ist das ein Bug?

Ich habe seit einiger Zeit (seit FF Version 100?) ein Problem mit im Browser geöffneten PDFs. Will ich ein PDF drucken, dann wird der Ausdruck auf ca. 80% der Originalgrösse skaliert, und die Skalierung, die ich im Druckerdialog einstelle, hat keinerlei Einfluss. Will ich ein PDF richtig drucken, dann muss ich zuerst die Datei herunterladen und dann vom Adobe Reader aus drucken. Ist dieses Problem bekannt?

Was mir auch aufgefallen ist: Wenn ich im Druckerdialog die Option "Microsoft Print To PDF" wähle, dann wird eine pdf-Datei in der richtigen Skalierung gespeichert. Wenn ich jedoch die Option "Als PDF speichern" wähle, dann wird die gespeicherte pdf-Datei ebenfalls zu klein skaliert.

Dies betrifft sämtliche PDFs, die ich in letzter Zeit drucken wollte. Ein aktuelles Beispiel hier:
https://www.wwf.ch/sites/default/…20Kampagnen.pdf

.DeJaVu

Danke, das hat geholfen. Im Moment scheint den pdf-Druck wieder normal zu funktionieren. Bloss hab ich jetzt bei den Seitenrändern wieder Zoll statt mm eingestellt. Wie kriege ich das wieder hin?