Nach Vorlesung 4

Signed-off-by: Jonathan Pieper <jpieper@ikf.uni-frankfurt.de>