Yes this simple issue took me >1h to fix 🙁

Tried to reinstall sources, deactivate the theme and plugins. Clear cache and cookies, but wasn’t successful to bring the editor buttons back.

Finally the hint posted here was successful to add

define('CONCATENATE_SCRIPTS', false);

to WP-Config.php on your webserver.