supervisory timer - Spanisch Englisch Wörterbuch