Danke für deine Antwort.
Bemerkenswert ist aber auch, dass, wenn man die Webseite in archive.ph archiviert, wird die fixe Menüleiste - so wie es sein sollte - ignoriert, schaue hier: https://archive.ph/mwBOS
Aber am Schluss wird dann bei der Namensliste bei «Mehr Anzeigen» mit dem pdf-Druck leider aufgehört.
Trotzdem: Manchmal behelfe ich mich mit der «Krücke», dass ich solche Webseiten in archive.ph archiviere und dann diese Archiv-Generierung dann als .pdf-Ausdruck - gescheit formatiert - archiviere. Aber hier bei der langen Liste kommt archive.ph wohl auch nicht klar.
Trotzdem: Also archive.ph schafft es also auch, die Webseite gescheit zu formatieren und das «My sticky bar»-Add-On entsprechend zu ignorieren. Wieso schafft das ein .pdf-Drucker-Treiber im Browser nicht?