20140521 tech.tech-news: Nokia to redeem senior notes worth 800 million euros