batch digester - German English Dictionary