Linux-Marktanteil erstmals über 4 Prozent