Beim abstrakten Rechenbeispiel ist es wohl nicht allzu sinnvoll, auf konkrete Anwendungen zu verweisen, weil die allesamt in Wirklichkeit etwas komplizierter sind. Aber natürlich sollten irgendwann im Artikel alle wesentlichen Wahlsysteme, die potenziell Überhang beinhalten, mit ihren grundsätzlichen Eigenschaften aufgeführt werden. -- 00:21, 2. Okt. 2009 (CEST)