"Namen" einer MySQL-DB nachträglich ändern