"programmable timer" Deutsche bedeutung