It would be the former name. Enough EU elites have invoked the First Reich and the crown thereof to let the world know where they stand.
My daughter took the AP World History exam last Thursday.
Not one question about the Hapsburg domains. Not one. Even though Lemberg is making history again.