20110519 tech: Nokia's market share slips to 25%: Gartner