MariaDB Appoints Franz Aman as Chief Marketing Officer