Die Dateien de_DE.mo und de_DE. po waren auch da.
Ich habe das Problem gelöst.
Nachdem ich die Angaben hinter dem Link zu fehlerhafter Core-Datei gelesen habe, fiel mir auf, dass ich DIVI nicht überprüft habe.
Ein anderes Theme aktiviert und die Einstellung Deutsch funktionierte.
In DIVI hatte ich die richtige Einstellung vorgenommen – sie war aber trotzdem nicht aktiviert. Übersetzungen deaktiviert und wieder aktiviert, gespeichert – und alles ist in Ordnung.
Vielen Dank für die Hilfe!