diff --git a/Manual_tools/doc_tex/Manual_tools/manual.bib b/Manual_tools/doc_tex/Manual_tools/manual.bib
index ae85934781d..cf388333d37 100644
--- a/Manual_tools/doc_tex/Manual_tools/manual.bib
+++ b/Manual_tools/doc_tex/Manual_tools/manual.bib
@@ -213,3 +213,4 @@
     month        = may,
     signature    = {eigene Ablage, Ordner ueber Tools}
 }
+