US-Gericht verurteilt Google - Folgen für Mozilla?