Ringvorlesung informatik somse 2013