Quantifier Elimination over Real Closed Fields by Ralf Möller