Final state of the code from Seminar 392026 WS 2012/13
This tag has no release notes.