Automated merge from preview to main

Created by CI

doc.zih.tu-dresden.de/util/check-every-page-not-included-more-than-once.sh

@@ -9,7 +9,8 @@ MSG=$(find ${DOCUMENT_ROOT} -name "*.md" | while IFS=' ' read string
     md=${string#${DOCUMENT_ROOT}/}
 
     # count occurences of md in nav 
-    numberOfReferences=$(sed -n '/nav:/,/^$/p' ${basedir}/mkdocs.yml | grep -c ${md})
+    numberOfReferences=$(sed -n '/nav:/,/^$/p' ${basedir}/mkdocs.yml \
+      | grep -c ${md})
     if [[ ${numberOfReferences} -gt 1 ]]; then
       echo "${md} is included ${numberOfReferences} times in nav"
     fi