Microsoft schluckt Semantic Machines