Can we draw the following hypothesis from the context?

Context:

The Vienna State Opera (German: Wiener Staatsoper ) is an Austria opera house and opera company based in Vienna, Austria. It was originally called the Vienna Court Opera (Wiener Hofoper). In 1920, with the replacement of the Habsburg Monarchy by the First Austrian Republic, it was renamed the Vienna State Opera. The members of the Vienna Philharmonic are recruited from its orchestra.

Hypothesis: Wiener Hofoper is the German term for Vienna State Opera.
No