Effizienteres signalisieren des Endes der Analyse

Aus dem Forum entnommen
updated .gitgnore