Title: Normalisationssätze für intuitionistische Theorien mit Wahlfolgen