Überblick über ProReal als effektives Werkzeug, um binnen 1 Stunde zum Kern der Sache vorzudringen.