Sorry, erst jetzt habe ich die debian.js-Datei entdeckt - wenn ich dort ändere funktioniert alles zu meiner Zufriedenheit... -- Gruß Heiko