MongoDB: Open-Source-Entwickler geht an die Börse