Vielen Dank, @Benjamin_D, @HAWK.
Es funktioniert jetzt, dank eures Ratschlags. 
In der Komponente „Custom Header“ habe ich DiscoTOC hinzugefügt („Komponente auf diesen Themes einbinden").
Entschuldigt die blöde Frage. 
Auf jeden Fall ist das hier eine großartige Community – mit schneller Unterstützung, sogar für neue Nutzer.
Nochmals herzlichen Glückwunsch an euch vom Entwicklungsteam.