How the Hungarian State Opera House is being restored to its former glory