Title: Untersuchungen zur Konstruktivität des Bar-Theorems