batching man - German English Dictionary