supervisory timer - Englisch Synonyme Wörterbuch