top: restructure definition
top: vorlesung vom 2.12.
eopt: vorlesung vom 2.12.