The Holsteiner horse: History, breeding, performance