Warhorses Amongst War Machines: The German Army's Use of Horses and Cavalry During World War II