erweiterung der reeellen Zahlen