20090514 tech.tech-news: Samsung launches mini notebooks