. . . "Imperial palace of the Holy Roman Empire" .