Reduzierbarkeit fertig, newcommand RSST, mehr labels und Zitate, Footnote zum Download