Online versus Druckausgabe

Einige nützliche Merkmale in der Onlinehilfe müssen im PDF anders gestaltet werden.