Einige Änderungen wie besprochen, Typographisches, 4.1 erweitert.