Server-Chef Bob Muglia verlässt Microsoft