proximity operation - Spanisch Englisch Wörterbuch