extended real line - Spanisch Englisch Wörterbuch