This is Johanna Düngler's BSc thesis.