terminal short-circuit - Spanisch Englisch Wörterbuch