ignore (a detail) - German English Dictionary