This is Florian Rossmannek's MSc thesis.