extended real line - Deutsch Englisch Wörterbuch