undo batch edit - German English Dictionary