(wartime) infantry division - German English Dictionary