programmable timer - German English Dictionary