The Real Tales of Hoffmann: Origin, History, and Restoration of an Operatic Masterpiece