Nochmal die Ausgabesteuerung

Ebenfalls ab dem nächsten Update:

In der Ausgabesteuerung werden Elemente, die im aktuellen Dokument gar nicht vorliegen, leicht ausgegraut: Dadurch wird die Sache etwas übersichtlicher und man findet die im Dokument “wichtigen” Elemente schneller.