top: \star command
top: vorlesung vom 16.12.
eopt: vorlesung vom 16.12.