Title: Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle