Linux erstmals mit mehr als 3 Prozent Marktanteil