key-operated push button - German English Dictionary