berichtige Fehler in binsearch(), kleine LaTex/TikZ Korrekturen