Ja. Mein Tisch gibt die Form meiner Stirn schon wieder ... Ich hatte tatsächlich einen alten MySql-5.7-Server
Hab's "grad" gesehen. Der "alte MySql-5.7-Server" ist immer noch der, der auch von Ubuntu 18.04 installiert wird, wenn man das Repo nicht wechselt.