zt: vorlesung vom 14.4.
zt: various changes
cls: change appearance of \subset
todo: initial thoughts