Now I tried the following:
– Deactivate, reactivate plugin
– Delete plugin, reinstall
– Reinstall WordPress (automatically)
– Reinstall WordPress (manual file replacement)
It did not change anything – the visual editor remains disfunctional.
Any hints?