push-pull production system - Spanisch Englisch Wörterbuch