Although Brandenburg was a part of the Holy Roman Empire, the Prussian lands were not within the Holy Roman Empire and were with the administration by the Teutonic Order grandmasters under jurisdiction of the Emperor. What did the former Duchy of Prussia become known as?