https://www.php-resource.de/en/script/Coding-Tools/SQL-RDBMS-Editors/MySQL-Dumper_14805