20150618 tech.tech-news: Former Nokia CEO Stephen Elop to leave Microsoft