diff --git a/.gitignore b/.gitignore
index e218ad9..3825193 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,5 @@
# agda
*.agdai
-*.pdf
*.log
Everything.agda
public/
@@ -18,7 +17,6 @@ public/
.*.swp
.#*
*~
-*.pdf
# AUTOGENERATED
# All wildcards below this marker are used to remove generated files in
# 'make clean'
@@ -26,7 +24,7 @@ public/
*.fdb_latexmk
*.log
*.out
-*.pdf
+thesis/*.pdf
*.synctex.gz
*.toc
*.bbl
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..a3fad5a
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,13 @@
+variables:
+ LATEX_IMAGE: listx/texlive:2020
+
+build:
+ image: $LATEX_IMAGE
+ script:
+ - cd thesis
+ - latexmk -pdf main.tex
+
+ artifacts:
+ paths:
+ - "thesis/*.pdf"
+
diff --git a/thesis/.vscode/settings.json b/thesis/.vscode/settings.json
index 89f774e..08f0ce6 100644
--- a/thesis/.vscode/settings.json
+++ b/thesis/.vscode/settings.json
@@ -20,6 +20,6 @@
"tools": [
"latexmk-main"
]
- },
+ }
]
-}
\ No newline at end of file
+}
diff --git a/thesis/img/fau.pdf b/thesis/img/fau.pdf
new file mode 100644
index 0000000..29a2e19
--- /dev/null
+++ b/thesis/img/fau.pdf
@@ -0,0 +1,1176 @@
+%PDF-1.6
%
+1 0 obj
<>/OCGs[5 0 R]>>/Pages 3 0 R/Type/Catalog>>
endobj
2 0 obj
<>stream
+
+
+
+
+ application/pdf
+
+
+ FAU_Kernmarke_Q_RGB_blue
+
+
+ 2022-01-12T13:23:45+01:00
+ 2022-01-12T13:23:45+01:00
+ 2022-01-12T13:23:45+01:00
+ Adobe Illustrator 26.0 (Macintosh)
+
+
+
+ 256
+ 40
+ JPEG
+ /9j/4AAQSkZJRgABAgEASABIAAD/7QAsUGhvdG9zaG9wIDMuMAA4QklNA+0AAAAAABAASAAAAAEA
AQBIAAAAAQAB/+4ADkFkb2JlAGTAAAAAAf/bAIQABgQEBAUEBgUFBgkGBQYJCwgGBggLDAoKCwoK
DBAMDAwMDAwQDA4PEA8ODBMTFBQTExwbGxscHx8fHx8fHx8fHwEHBwcNDA0YEBAYGhURFRofHx8f
Hx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8fHx8f/8AAEQgAKAEAAwER
AAIRAQMRAf/EAaIAAAAHAQEBAQEAAAAAAAAAAAQFAwIGAQAHCAkKCwEAAgIDAQEBAQEAAAAAAAAA
AQACAwQFBgcICQoLEAACAQMDAgQCBgcDBAIGAnMBAgMRBAAFIRIxQVEGE2EicYEUMpGhBxWxQiPB
UtHhMxZi8CRygvElQzRTkqKyY3PCNUQnk6OzNhdUZHTD0uIIJoMJChgZhJRFRqS0VtNVKBry4/PE
1OT0ZXWFlaW1xdXl9WZ2hpamtsbW5vY3R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo+Ck5SVlpeYmZ
qbnJ2en5KjpKWmp6ipqqusra6voRAAICAQIDBQUEBQYECAMDbQEAAhEDBCESMUEFURNhIgZxgZEy
obHwFMHR4SNCFVJicvEzJDRDghaSUyWiY7LCB3PSNeJEgxdUkwgJChgZJjZFGidkdFU38qOzwygp
0+PzhJSktMTU5PRldYWVpbXF1eX1RlZmdoaWprbG1ub2R1dnd4eXp7fH1+f3OEhYaHiImKi4yNjo
+DlJWWl5iZmpucnZ6fkqOkpaanqKmqq6ytrq+v/aAAwDAQACEQMRAD8AHXetP52ufKOr+ZUa4juN
K1y+ubO2le1Vvqc1w0UavGeShViVa7nxrm0EeDiEe+Lhk8VE9xW6Z5ch1PT7fUbL8uJ5LS7jWWCQ
+a0jLI4qCUcqy/IjDKdGjP8A2KiN/wAP2on/AAVP/wCW1m/8K2H/AJqyPi/0/wDYrwf0fteofk9o
c2l2mpGTy1J5dWd4igk1RdWE/EOCQyk+nwr0719sxdRKyN7+FN+IV0r4qn5z6zew+XLfy5pcnDWf
NNwumWrA0McT73MxoR8KRbE9q4NNEcXEeUd1ynah1eQv5w0fVpY9QteUOhaJKfLOogM3KTQr1fRt
b1unxxTozk/zFczPDI26nf49zRxg+4bfB7B+TOtXtz5Yl0HVX5a15XuH0q9JNS6w/wBxKPFXioAe
9Ccw9TECVjlLdvxHajzDNNVu3stLvLxFDPbQSTKp6ExoWANPllERZpsJ2fPA8zazr0I1jUJy15e+
Rdanl9P4EDi4mVeKjpxUADvmy4BHYfzw4nETv/RL3D8uWZvy98rsxLM2k2JZjuSTbJucwM31n3ly
cf0j3JX+b/mvVfLHk19Q0plS8lube1WV15cFmfizKDtyA6VyenxiUqKMsiBs8tu7m4/S8g9V6f8A
Kz7OOnI/YKN8Py9sywNv+SbQef8AnvofNa5b578kaT5t0PyVoWq6YLSw1XX7uysE1AC4uJvq87Sm
drqKdmiDAohX0wPnmxyyjKRB5C3EgCACOqv5n87eefLv6Qh0yWO1WfX7y3utZktQyF4bC0MCuoBQ
G4kZt6V+GgwQxQlV/wA3l8SmU5Dl3quv+bPM2q+ZdE03VrtLV4tV8uzx6LHaufWWT0Zri6WdhyCp
OzJQ9KUI5YwxxESR3S3WUiSAfJN7HXPOt1a6Hrl+YtSuZdR1YabZfVVRohZWd+kYLj4i0rxLuKbf
PIGMRYG2w+8MgTsff+lJLXXfNnmzTvKc8HmCKfXDqxLTfo54k0+VrC49SFwxCTcN1r2PWuTMIwMt
tq7+e7ESMq33tl9l+YHnSL8vLfzNe6fbyxHSvWeZXcXD6gxMUUYtQnHi8hSp59+mUnDHj4Qev2Ng
meG/JgejN5g0zy7ceUdZtL2C6h1PRNTtPrhWSSRJryFLshomkTgtzGzKOVaNvmRLhMuIdxH2NQsC
j5I7TvzR/MO5n80fXLyKyOnQ3Rjs/qhaW0uYZ1W1iA4n1RcAiPc1Nar0NInBAcNdUjJLdQ8xfm/5
7s/Lmnzwztb+Yppb6W/spLWNYITbSoosfjBld0Tf4fiPLkWoMMNPAyP83b+1ZZZV5shTzt+Yw8yy
TpLHcaQdVutNh0n6t+9b09NF3G3rCjU9T4R49z0yvwocPnV/ay45WxGLz75sjTWvNNlfjVtXj0DT
0muFsmjWzke9f6zEYqUkNt6jfF/wX2Tl3hR2iRQ4j18mHGdz5Mt8qebvzK1298uW36RtlguUv7i8
vEttrq3tJohFxDKojeTmUJX4ePxCu2U5McIg7dzOMpGky8x+Y9Q0XzN5R13zhFFpNpDHqtveS2ry
3Vsjypbm3DuI0PJ/Tenw9chCAlGQjvyZSlRBPmwy38z/AJjaN5SsRpFwLSGx0OTWZYLq19Z5mfUn
VY6tRk5wuD8u3cXmEJSN99fY18UgNu5ONT82+cfL8WrahpNqJobjXtV0020cCljdSwp+j7hjSpAl
Ti5OxBGQjjjKgf5oP60mRF13lTh/MH8yofPl9oNzcwsunRypJatb8Xljjsy6X0cipT45V5U+zvxp
WmJww4Ae/wDXyXjlxU3N58/MHS7XyVNqWrxztr6Q3F5b29mn1jjdGL04kRgiNxUty4uHBJNOIxGK
B4qHLzXjkKs82rTU9T07XND1Ca6mstKdPMSNYW9uvpTzwalK6xhacfVmiWq13+E06nExBBHX0/co
JBHxYr5U8w6/Pod3NFfHSdN07UNFuH1C2t1Yi1mRof34QFCLcQLyAqOzVy7JAXyskFhGRr5JV5W/
44/kz/wHPM3/ABO8yeTnL+tH9DGPIe4vT/y6/Jv8s9U8iaDqN/ocU97d2MM1xMZJwXd0BZiFcDc+
GYmbU5BMgHq3Y8UTEbMi/wCVEflL/wBS7D/yNuP+qmV/msnez8GHczTTNM0/S9Pg0/TrdLWytkEc
FvGOKqo7AfryiUiTZbAKeA/mFrl5rvm3V7zTTzmt3Xyf5XHY317tqNwCu49KImPl7qc2OGIjEA/1
j7ujizNk17gx9dMjN4+rKyr+X1y/+CTKFFTAkQWPUCQaEfXF9Xl47ZZxbV/H9X7Pkxrr/DyZD+XH
mC70bzfpF3qNY5dRLeU/MynouqaftZTMTTk00NEBP+VlWaAlEgdPUPcebLHKiPkXuvmT/lHdU/5g
5/8Ak02YEPqDlS5Pmvy//wAcCz/81/rf/UTPm0nz/wA8OHHl/ml9B/lv/wCS78rf9siw/wCoaPNd
m+uXvLlY/pHuYn/zkT/5L1P+2jZ/8nMt0f1/AsM/0sCvP+OxL/5tGz/4g2ZA5f8AJNqPP/PfRea1
y3l/lD86rXVPL175k1ltPstIsI4GvFtJ7i6urd7mURRLPF9XjA5Gv2WbMrJpqlwi7aY5rFlNIfzV
sln1ue8s7lNL0xbFoPTtp3uj9cgaZjLCAWTjx7gU75E4DtXM2nxOavN+cn5fxXOn25v3ZtTit57V
0gmZPSu2McTu4WiDmOJ5UIOAaae+3JPixV1/NbyUdUuNOa6ljktjdc7h7eZbZhYIXuik5T03EQU8
qHB4Eqv8br4sbQUH52fl9NpZ1JLyf0RdRWXo/VpzOZriN5YKRBC5EqRkoab5I6ad0jxo1aaf8rC8
uXPlpta0y8huWksJtRsrN3EU0qQo5P7tv3gHKJlJ49jkPBkJUe9l4gqwxXS/zxsdQ063vBaLbn9G
X19qMUruWtp7H0v3TBEZijicMGC140NMulpSDXmPtYDNacSfmro+li5i19ljvYruGzjt7CO5ui8l
zapcwov7pGLurGlBTp3yvwCeSfEA5qWp/nL5UiXW7PT5Xn1rSbbUZRbSwzRxPPpkbPLD6pUKSOO/
E9MMdNLYnka+1TlG/evtfzk8nnQ31G9mnt5rdbUTWrW06SySXikw/V43UPKshRuJHhidNK6CjKKR
MP5u+RZzpwgvJJRqdu13bskEpVYI3aOWSU8aRiJo2D8ulMH5ee/knxYo/wAq+f8Ay75ommg0trgT
W8UVxJHc281ufRn5elIvqqvJXC1UjtkcmKUOaYzEuTI8qZuxV2KuxV2KuxV2Kvl3yjpGvSeWfI+q
2eiXmsaammazY3q2JRZF+t3VzF8LSVUEB67jNrkkOKQJo2P0OFEGga70Vb+TdXtoI7e20fz7DBEo
SKGPU7VEVR0CqIgABgOQHrD5J4D3SRdj5O1u4vbe3lsvP1tFNIkclw+qW/CNWYAu1Iq0UGpyJyAD
+D5JED/S+b1vzhq1t5A/Lm6ns3lmns4Bb6d67tPNNdTHhEWZqtIxduTe1e2YeOPiT3b5nhi8Ji03
zVbXx0zy9o9zq9x5YsJ7H67AVKRa5qKhr64ZifiaJXMS+6qc2HFEi5GuI/YOTjUeQHL72Yyy6235
YHyIPy91YWwsvqyzloP96B+8E9K9fX/eZRt4nHxDm2b8PDwljtt5S/MLXJtQt7/y/e6fNqmmQNcX
snHj+mdLUm2ulKn4fWVPTfb7Tk5ackI1RBo/YWHDI9P7Xsug+al80/lY2tU43E+nTpeR0pwuYo2j
mWnb41NPbMKePgyV5uRGXFG3hvl8j9A2Q7nyBrYA8T9ZnzPnz/zw40eX+aX0F+Wjo/5deVijBgNJ
sRUGu62yAj6CKZrs31y95crH9I9zE/8AnIp0X8v4gzAF9SswoJpU8yaD6ATluj+v4MM/0sDvHX9O
PHX42/NC0YL3oqGp+iozIHL/AJJtR5/576MzWuW8+sPyhS10D/D0vmLULvRUWBbeylW2CxG3uYrp
GUpErE1h47k7Me9MyTqLPFQtqGLar2V/NP5R6J5i1C7vrq8uYZbu6tLxljELoHsoXgQcJo5UYFZC
TyB3wY9QYilliBUrT8m9CttKfTUvbponttPtC59Plw027N3Gfs0qztRvbpidSSbrv+1RiFUlQ/KC
6m82SLPO3+DI01EQWTzh35avHS4WGNII/RVXkcgtK56Upvk/zHp/pbfYx8Lfy/Wmvl38mfLuhQWM
drcyu9jfwagJjFaxPI1tDLBHHIYYYi68Z2JLVau9dzkJ6mUr9zKOIBOdO8gaLY+VjoCVkX6tcWi3
7rGblY7oyF6Px2p6zUyByky4mQgAKSib8mPKkt290XnSWfRv0FdlGVfViEaRLM3w/wB6EjUV6bdM
mNTKvjbHwh9lKmiflPpmmXVrey6ne6hf29+NRe7umjZ5HS1NnHG3FFHBIztTf3wS1BO1AbftUYgG
738ptFu450e8uVFxLrEzFfT2OuIyTgVX/dYb4PxriNQR9n2JOIff9qX3f5G6Bf6dPa6nqd9qFw5s
xbXlz9Xd4EsA4gRU9IRuKTOG5q3IHfJDVEHYAftYnCDzTbSPys8vaYOETyNE2ly6PLGEhhDwzzNN
I9II4lDksR8IH35GWeR+dshjAQP5beRNf8v6vqd9qt0Z4pLe10/TkeZbiUW9mZODO6QWqrVZBReJ
PWrHDmyiQACMcCDu9AzHbXYq7FXYq7FXYq7FXyPpOnQal5b8lWdy0n1dND8wXQSOR4/3tvPdSxse
BHR0GbiRqUj5x/Q4AFge4vU/IH5L+RNY8k6Hqt/DdyXt7Zwz3Di8uVBd0BYhVcAb+GYmXUzjMgN8
MMTEFk1j+Rv5e2V7b3lvb3QntpEmiLXtywDxsGWql6HcdDlR1UyK/QzGGIYl+cPmmFvNcUTUk03y
Tbfpq+iO6SanNSPTIGpvXm4f/VJy7T4/T5y2+HVryy3934DBYPK3mm/vLbQLDRJvMMWgRG58yRrf
Lp/qavqg9aUvKWQuYUVY6L0KmvXfIOSIFk1fLa9g18JO1XX3pl/yrXzT/wCWxm/8KQf9Vch40f5/
+xT4Z/m/agNQ8pX9ldRabceVrnyvr97DNceW75dWe/WS8seM/olFd0BkQFV5ftEUyQyA78XEOu1c
0GNbVR97N/yk8wWUvmC900qqaL53tDrenQCnBLuhh1O2X3DqWA7KMo1EDQPWO36mzFLeuh/BYhp1
lq+jtb6ZBaC/8y+QZby1u9GaobU9BvyWLxD9sqJCQANgQaE7ZcSDv/DPr3EMACNusfuR/lTzxqXl
7TTa+UPM+iX3l9SzWuk+Y5msNQsizVaCrNGrqhJ3DH2yOTEJH1A35bgpjMgbEV5pDrfmfXvOXmW0
1LzHqltL5U8tSi91FtMWRbBGjIZIIpJuLT3M1OC02FartypZGAhGoj1S7+f9jEyMjZ5BOvygsNT8
4ecI9TuUP1DTtRutf1WTfgdSvAFt7ZD39BFDnwJKntkNQRCNdSK+DLEDI38X0hmsct2KuxV2KuxV
2KuxV2KuxV2KuxV2KuxV2KuxV2KuxV2KuxV2KvOdA/JTRdJOhK97LeQaJaX1j6Miqqzxag8rycyp
qKesRtmTPUk3519jTHCBXk9Ct7e3treO3t41ht4VEcMMYCoiKKKqqNgAMxybblTArEfMX5Z6BrWq
W1+4+rlb6DUdSjiUUvZbRCluJiT9mME7Drl0M5iK8q9zXLGCUb5J8m2vlXTLi1juHvbq+upr6/vp
QqyTTztVmIXYUAAyOXJxlMIcIZDlbNj3nXybbeabGzhe5eyvNOu4b+wvogrPFNCaggN1BBoRlmLJ
wH3sJw4kD5Z/LLQdB1Ka9jH1ki9ub7S0lUf6E16oW4SEg/YcKOo2+nJTzmQr8FEcYC/zx+W2iebG
t7uSSbTdcsd9P1qyb07mHqach9panofoIqccWYw25juWeMS97B778q/zHllc3F15Y19yOK6lq+kx
/WyBsORRHBPzJy8Z4f0h7i1nHLyPwQsf/OPmt65PbN518yCfT7Q1g0bSoFtbZB4RgBESvQ0i5Hxw
/mxH6Rv3lHgE/UXr+g6Bo+gaXDpWj2qWdhbikcMY292YmpZj3YmpzDnMyNlyIxAFBH5FLsVdirsV
dirsVdirsVdirsVdirsVdirsVdirsVdirsVdirsVf//Z
+
+
+
+ uuid:1626494a-4525-1e4b-b36d-580e91c702e2
+ xmp.did:458be105-64a9-4a24-876f-499eb16d2347
+ uuid:5D20892493BFDB11914A8590D31508C8
+ proof:pdf
+
+ xmp.iid:745ae15f-e4dc-44c5-98bd-7f76e35cfca4
+ xmp.did:745ae15f-e4dc-44c5-98bd-7f76e35cfca4
+ uuid:5D20892493BFDB11914A8590D31508C8
+ proof:pdf
+
+
+
+
+ saved
+ xmp.iid:b21a3dea-a85f-49a8-897a-2be850f91412
+ 2021-09-03T11:27:12+02:00
+ Adobe Illustrator 25.4 (Macintosh)
+ /
+
+
+ saved
+ xmp.iid:745ae15f-e4dc-44c5-98bd-7f76e35cfca4
+ 2022-01-12T13:19:55+01:00
+ Adobe Illustrator 26.0 (Macintosh)
+ /
+
+
+ converted
+ from application/postscript to application/vnd.adobe.illustrator
+
+
+ saved
+ xmp.iid:458be105-64a9-4a24-876f-499eb16d2347
+ 2022-01-12T13:23:45+01:00
+ Adobe Illustrator 26.0 (Macintosh)
+ /
+
+
+
+ Print
+ Adobe Illustrator
+ False
+ False
+ 1
+
+ 513.749537
+ 99.683817
+ Millimeters
+
+
+
+ Cyan
+ Magenta
+ Yellow
+ Black
+
+
+
+
+
+ Standard-Farbfeldgruppe
+ 0
+
+
+
+ Weiß
+ RGB
+ PROCESS
+ 255
+ 255
+ 255
+
+
+ Schwarz
+ RGB
+ PROCESS
+ 0
+ 0
+ 0
+
+
+ R=4 G=49 B=106
+ PROCESS
+ 100.000000
+ RGB
+ 3
+ 49
+ 105
+
+
+ R=4 G=30 B=66
+ PROCESS
+ 100.000000
+ RGB
+ 3
+ 29
+ 66
+
+
+ R=253 G=183 B=53
+ PROCESS
+ 100.000000
+ RGB
+ 253
+ 182
+ 52
+
+
+ R=197 G=15 B=60
+ PROCESS
+ 100.000000
+ RGB
+ 196
+ 15
+ 59
+
+
+ R=24 G=180 B=241
+ PROCESS
+ 100.000000
+ RGB
+ 24
+ 179
+ 240
+
+
+ R=123 G=183 B=37
+ PROCESS
+ 100.000000
+ RGB
+ 123
+ 182
+ 36
+
+
+ R=140 G=159 B=177
+ PROCESS
+ 100.000000
+ RGB
+ 140
+ 158
+ 177
+
+
+
+
+
+
+ Adobe PDF library 16.03
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
endstream
endobj
3 0 obj
<>
endobj
7 0 obj
<>/Resources<>/Properties<>>>/Thumb 11 0 R/TrimBox[0.0 0.0 1456.3 282.568]/Type/Page>>
endobj
8 0 obj
<>stream
+HWˎW4E2H^->?av#$G@ص`"~ß?xb1ןnx/G:"r
z>r؎盼|
+_}@c