fitGermanyIfNeeded ueberschrieb bei klein den Zoom-17-Fit aus apply() auf
ganz Deutschland. Jetzt nur noch bei leerem Ergebnis (!records) ganz DE zeigen;
die Detailseiten-Minikarte bleibt auf Strasse/Haus des Schauplatzes.
- map.js: Invers-Maske aus Bundeslaender-GeoJSON blendet Nachbarlaender/Meer aus
(Even-Odd, alle Ringe -> Enklaven Berlin/Bremen bleiben sichtbar)
- map.js: Ausschnitt via setMaxBounds fest auf Deutschland begrenzt
- map.js: Grenz-GeoJSON immer laden; gefuellter Umriss als Fallback ohne Tiles
- scripts.html/karte.html/hugo.toml: protomaps-leaflet + pmtiles-Basemap
- .gitignore: /static/tiles/ (6,7-GB-pmtiles liegt ausserhalb des Repos)