[Erledigt] Firefox-3-Optimierer 4.0.2