d30f79e162
appendStroke rechnete widthScreen-Schraffurbreiten über mmPerM=1000/ scaleDenominator um → die gedruckte mm-Breite hing vom Export-Massstab ab (0.25mm bei 1:50 vs 0.13mm bei 1:200 für dieselbe Quellbreite). Jetzt widthMm * HATCH_DENSITY_MM (0.13) — der exakte Kehrwert von toRenderScene hatchPx = max(0.6, hatchMm/0.13) → identische Papier-mm bei jedem Massstab, deckungsgleich zur Bildschirmvorschau. Ungenutzten mmPerM-Parameter entfernt.