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.
Merge branch 'chdrost'