Chris Beard gibt seinen Posten als Mozilla-CEO auf