Linux-Marktanteil hat sich im April mehr als verdoppelt