This is Florian Rossmannek's BSc thesis.