Index verlinkt nun an die richtige Stelle (und nicht nur an die richtige Seite); Korrekturvorschläge von Prof. Herrlich vom 22.10.2013 eingearbeitet