Text this: Mathematische Optimierung der Wahlkreiseinteilung für die Deutsche Bundestagswahl