ana3: Final
make: fix deps and simplify
sty: Doppelpunkt nach Beweis
ana3: Korrekturen nach Anmerkungen von André Hänel (Teil 1)