MariaDB übernimmt MammothDB