Verwendung der user.js Datei zur Konfigurierung von Einstellungen im Firefox