Stav dette: Mathematische Optimierung der Wahlkreiseinteilung für die Deutsche Bundestagswahl