Git Ignore Datei gesetzt

Der ganze Blödsinn braucht nicht synchronisiert zu werden. Es kann
sein, dass jetzt ab und zu die Bib neu erstellt werden muss.