discontinued somewhat incoherent patches (see also 3b36fc4916af);

--- a/src/Doc/Corec/document/root.tex	Fri Apr 17 21:48:50 2020 +0200
+++ b/src/Doc/Corec/document/root.tex	Fri Apr 17 22:13:50 2020 +0200
@@ -17,13 +17,6 @@
 \usepackage{pdfsetup}
 \usepackage{railsetup}
 \usepackage{framed}
-\usepackage{xpatch}
-
-\makeatletter
-\xpatchcmd{\chaptermark}{\MakeUppercase}{}{}{}%
-\xpatchcmd{\sectionmark}{\MakeUppercase}{}{}{}%
-\xpatchcmd*{\tableofcontents}{\MakeUppercase}{}{}{}%
-\makeatother
 
 \setcounter{secnumdepth}{3}
 \setcounter{tocdepth}{3}