Vector.js

/* Das folgende JavaScript wird für Benutzer der Vector-Benutzeroberfläche geladen. */