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