programmable interval timer - Spanisch Englisch Wörterbuch