supervisory timer - German English Dictionary