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