Geändert: Die Problemformulierung enthält jetzt den Text von Whitaker und (daran angepasst) die Zusatzannahmen. Beides ist jetzt über Einzelreferenzen kenntlich gemacht, das ist besser als vorher. Danke dafür.