Die MariaDB Corporation Ab, das hinter der Open-Source-Datenbank MariaDB stehende Unternehmen wird verkauft.