svn-public - Revision 7159: /vorlesungen/vorlesung-8