SMS dit: Mathematische Optimierung der Wahlkreiseinteilung für die Deutsche Bundestagswahl