20130531 tech.tech-news: Google pays tribute to Julius Richard Petri