/* Druckdialog bietet auch „Als PDF speichern“ an. */
(() => {
const printButton = document.getElementById("print-comparison");
if (!printButton) return;
printButton.hidden = false;
printButton.addEventListener("click", () => window.print());
})();