batch digester - Spanisch Englisch Wörterbuch