Beweis zu Ende; Label umgenannt; Minikorrekturen