Wegen des Internet Explorers 11: Mozilla ändert User-Agent von Firefox