danke für die sinnvollen Vorschläge um ein paar der einfacheren kümmere ich mich, andere brauchen mehr Zeit als ich im Augenblick habe; im Absatz zur Komplexitätstheorie kamen mir aber Zweifel an der dortigen Darstellung des Raz-Tal-Resultats; siehe dazu neuer Abschnitt.