Quantifier Elimination over Real Closed Fields door Ralf Möller