Mathematische Optimierung der Wahlkreiseinteilung für die Deutsche Bundestagswahl