https://fsi.informatik.uni-erlangen.de/forum/thread/10682-Klausur-11-04-2013