batch operated - German English Dictionary