Nachtrag: die getSVGDocument() Möglichkeit funktioniert auch einwandfrei, allerdings muss sie leicht verzögert ausgeführt werden, da die SVG-Datei länger zu laden braucht, als das JavaScript.
Dafür gibt es ja das load- bzw. das DOMContentLoaded-Ereignis. Wenn du an das document-Objekt des SVGs kommst, kannst du dort ggf. auch einen entsprechenden Event-Handler registrieren.
svg = document.getElementById("karte\_svg").getSVGDocument();
Das einfachere .contentDocument scheinen übrigens auch alle modernen, SVG-fähigen Browser zu unterstützen.
Mathias