Angeblicher Fehler in Firefox' Javascript