A prince of the Holy Roman Empire