Weiterleitung auf die neue Quellenkarte...
<script>
(function () {
    const params = new URLSearchParams(window.location.search);

    if (!params.has('find')) return;

    // " 47.615667 12.138133" → ["47.615667","12.138133"]
    const raw = decodeURIComponent(params.get('find')).trim();
    const parts = raw.split(/\s+/);

    if (parts.length !== 2) return;

    const lat = parseFloat(parts[0]);
    const lon = parseFloat(parts[1]);

    if (isNaN(lat) || isNaN(lon)) return;

    const zoom = 17;

    const target =
        `https://wasserwiki.eu/Quellenkarte/#${lat},${lon},${zoom}z`;

    window.location.replace(target);
})();
</script>