20110512 tech.tech-news: Google announces Chromebook; to be available from June 15