Military personnel of the Holy Roman Empire (800/962–1806).